Formal methods of program verification and specification - Berg H K; Boebert W E; Franta W R; Mohert T G (New Jersey Prentice Hall, 1982)
Keywords: Management information systems; Computer science