Lyons, T. G. (1972). Problems of program validation in the context of the predicate calculus.
Chicago-Zitierstil (17. Ausg.)Lyons, Terry Gregory. Problems of Program Validation in the Context of the Predicate Calculus. 1972.
MLA-Zitierstil (9. Ausg.)Lyons, Terry Gregory. Problems of Program Validation in the Context of the Predicate Calculus. 1972.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.