Grecco A.J. AdaFlow : automation of software analysis using Petri nets: Diss. Mfiche.(3) / A.J.Grecco, 1988. - 266 мкфш. - Текст : непосредственный.