Attributed models of executable specificationsMeriste, Merik; Penjam, JaanProceedings of PLILP '951995 / p. 459-460