CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language Mosses Peter D. Heftet / 2004 / Engelsk
TAPSOFT '95: Theory and Practice of Software Development 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings Mosses Peter D. Heftet / 1995 / Engelsk
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings Leeuwen, Jan van Heftet / 2000 / Engelsk
CASL User Manual Introduction to Using the Common Algebraic Specification Language Bidoit Michel Heftet / 2004 / Engelsk
