Sanchez A. Formal specification and synthesis of procedural controllers for process systems / A.Sanchez, 1996. - XXIV,221 p. p. - Текст : непосредственный.