Jim Woodcock Martin Loomes Software Engineering mathematics: formal methods demystefied - - Pitman 1989 - 291 ISBN: 0-273-02673-9 Dewey Class. No.: 004.41