Foundations of software science and computational structures / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.
Automata, languages and programming : 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008: proceedings, part 1 / ed. L. Aceto [et al.], 2008 r=on-line. - Текст : электронный.
Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.
Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.