APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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