APA (7th ed.) Citation

Farrés-Casals, J. (1992). Verification in ASL and related specification languages. Univ. of Edinburgh, Department of Computer Science.

Chicago Style (17th ed.) Citation

Farrés-Casals, Jorge. Verification in ASL and Related Specification Languages. Edinburgh: Univ. of Edinburgh, Department of Computer Science, 1992.

MLA (9th ed.) Citation

Farrés-Casals, Jorge. Verification in ASL and Related Specification Languages. Univ. of Edinburgh, Department of Computer Science, 1992.

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