Horebeek I.van Algebraic specifications in software engineering : An introduction / I.vanHorebeek,J.Lewi, 1989. - 350 p. - Текст : непосредственный.