Brookes, S. D. (1984). Reasoning about synchronous systems.
Chicago-Zitierstil (17. Ausg.)Brookes, Stephen D. Reasoning About Synchronous Systems. Pittsburgh, Pa, 1984.
MLA-Zitierstil (9. Ausg.)Brookes, Stephen D. Reasoning About Synchronous Systems. 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.