(1995). Applications of formal methods (1. print.). Prentice-Hall.
Chicago-Zitierstil (17. Ausg.)Applications of Formal Methods. 1. print. Englewood Cliffs, NJ: Prentice-Hall, 1995.
MLA-Zitierstil (9. Ausg.)Applications of Formal Methods. 1. print. Prentice-Hall, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.