STUDIES IN AUTOMATIC PROGRAMMING LOGIC - Manna, Zohar; Waldinger, Richard (New York North-Holland, 1977)
References : P. 181-185
The Computer Science Library
Keywords: Computer Programs; Electronic Digital Computers -- Programming