Auernheimer, B. and D. Stearns. Using the ASLAN formal specification language in undergraduate software engineering courses. Computer Science Education, vol. 2 (2-3).

Languages mentioned

• ASLAN {1982}