Merik Meriste Jaan Penjam Attributed Models of Executable Specifications 459-460 conf/plilp/95 PLILP 1995 db/conf/plilp/plilp95.html#MeristeP95 http://dx.doi.org/10.1007/BFb0026839