Peter Gorm Larsen Nico Plat Standards for Non- Executable Specification Languages. 567-573 1992 35 Comput. J. 6 db/journals/cj/cj35.html#LarsenP92