.245
a	Cocktail
b	: a tool for deriving correct programs
h	Book
.020
a	90-386-0841-1 [pbk]
.100
a	FRANSSEN, Michael Gerardus Johannes
.005
a	20071127092600
.260
a	Eindhoven
b	Technische Universiteit Eindhoven
c	2000
.084
a	005.131 FRA
.300
a	x, 237 hlm.: gamb., tab.
b	25 cm.
c	x, 237 hlm.: gamb., tab.; 25 cm.
.490
a	IPA dissertation series ; 2000-07
.336
a	Book