@book{8629,
	author = {IFIP TC2/ WG 2.1 working conference on program specification and transform... and Meertens, LGLT.},
	title = {Program specification and transformation},
	year = {1987},
	address = {Amsterdam: North-HollaNew Delhi}
}