APA (7th ed.) Citation

Backhouse, R. C. (1983). Specification and proof of a regular language recogniser in synchronous CCS.

Chicago Style (17th ed.) Citation

Backhouse, Roland C. Specification and Proof of a Regular Language Recogniser in Synchronous CCS. Edinburgh, 1983.

MLA (9th ed.) Citation

Backhouse, Roland C. Specification and Proof of a Regular Language Recogniser in Synchronous CCS. 1983.

Warning: These citations may not always be 100% accurate.