Formal specification and software development - Bjorner Dines; Jones Cliff B (New Jersey Prentice Hall, 1982)
Includes bibliography
Keywords: Computer program language; Computer science