Attributed models of executable specifications
Meriste, Merik
;
Penjam, Jaan
Proceedings of PLILP '95
1995
/
p. 459-460