Stefan Kahrs Donald Sannella Reflections on the Design of a Specification language. 154-170 http://link.springer.de/link/service/series/0558/bibs/1382/13820154.htm 1998 FASE db/conf/fase/fase98.html#KahrsS98