Annual Review in Automatic Programming 2 - Cashwell, E.D; Everett, C.J (Pergamon Press, 1961)