@inproceedings {PIPRM-97,
	title = {OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods},
	volume = {1250},
	year = {1997},
	month = {6},
	pages = {145-158},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	author = {O. Pastor and E. Insfr{\'a}n and V. Pelechano and J. Romero and Jos{\'e} Merseguer},
	editor = {A. Oliv{\'e} and O. Pastor}
}

