Attributed automata model of computing
Penjam, Jaan
;
Meriste, Merik
Abstracts of NWPT'96, Oslo 1996
1996
/
p. 21