Formal specification and software development
Bjørner, Dines1937-
Jones, C. B.(Cliff B.),1944-
Englewood Cliffs London Prentice-Hall
c1982
Bibliography: p459-487. - Includes index
Electronic digital computers
Software compatibility.