@article{journals/iee/BicarreguiCFHLLMMMNRRS97,
	title = {Formal methods into practice: case studies in the application of the B method.},
	author = {Juan Bicarregui and D. L. Clutterbuck and Gavin R. Finnie and Howard P. Haughton and Kevin Lano and H. Lesan and D. W. R. M. Marsh and B. M. Matthews and Michael R. Moulding and A. Richard Newton and Brian Ritchie and T. G. A. Rushton and P. N. Scharbach},
	journal = {IEE Proceedings - Software},
	number = {2},
	pages = {119-133},
	url = {http://dblp.uni-trier.de/db/journals/iee/iee-s144.html#BicarreguiCFHLLMMMNRRS97},
	volume = {144},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2438eb33461a49f089de6808902d9aa29/dblp},
	description = {dblp},
	date = {2004-09-07},
	keywords = {dblp }
}