Models of attributed automata
Meriste, Merik
;
Penjam, Jaan
;
Vene, Varmo
Informatica
1998
/
1, p. 85-105: ill