APA (7th ed.) Citation

Mossakowski, T., Sannella, D., Tarlecki, A., & Haxthausen, A. E. CASL - the common algebraic specification language: Semantics and proof theory.

Chicago Style (17th ed.) Citation

Mossakowski, Till, Donald Sannella, Andrzej Tarlecki, and Anne E. Haxthausen. CASL - the Common Algebraic Specification Language: Semantics and Proof Theory.

MLA (9th ed.) Citation

Mossakowski, Till, et al. CASL - the Common Algebraic Specification Language: Semantics and Proof Theory.

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