Studies in automatic programming logic
Manna, Zohar.
Waldinger, Richard.
New York Oxford North-Holland Publishing Co.
1977
Bibliography: p.181-185. - Includes index
ISBN 0-444-00225-1 Pbk : Unpriced
Electronic digital computers