Backhouse, R. C. (1983). Specification and proof of a regular language recogniser in synchronous CCS.
Chicago-Zitierstil (17. Ausg.)Backhouse, Roland C. Specification and Proof of a Regular Language Recogniser in Synchronous CCS. Edinburgh, 1983.
MLA-Zitierstil (9. Ausg.)Backhouse, Roland C. Specification and Proof of a Regular Language Recogniser in Synchronous CCS. 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.