Attributed models of computing
Meriste, Merik
;
Penjam, Jaan
Proceedings of the Estonian Academy of Sciences. Engineering
1995
/
2, p. 139-157: ill