Soeken M. Formal Specification Level : Concepts, Methods, and Algorithms / M. Soeken, R. Drechsler, 2015 r=on-line. - Текст : электронный.