Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710
Introduction To Flowcharting and Computer Programming Logic
1972 年出版248 页ISBN:088236345X
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN:0876267266