Software Engineering mathematics: formal methods demystefied - Jim Woodcock Martin Loomes (Pitman, 1989)