Tan Y.M. Formal specification techniques for engineering modular C programs / Y.M.Tan, 1996. - XVI,213 p. p. - Текст : непосредственный.