Software Engineering Mathematics (1989)

by J Woodcock, M Loomes