A Comprehensive Approach to Specification Languages.

J. K. Stoegerer A Comprehensive Approach to Specification Languages. 2-8 1984 16 Australian Computer Journal 1 db/journals/acj/acj16.html#Stoegerer84