.245
a	Constructive tool design for formal languages
b	: from semantics to executing models
h	Book
.020
a	90-386-1960-X
.100
a	BOKHOVEN, L. J. van
.005
a	20071112082119
.260
a	Eindhoven
b	Technicshe Universiteit Eindhoven
c	2002
.084
a	005.1 BOK
.300
a	xiv, 178 hlm.
b	25 cm.
c	xiv, 178 hlm.; gamb., tab.; 25 cm.
.336
a	Book