Attributed models of computingMeriste, Merik; Penjam, JaanProceedings of the Estonian Academy of Sciences. Engineering1995 / 2, p. 139-157: ill