@article{toyn98-practical,
	title     = {A practical language and toolkit for high-integrity tools},
	author    = {Toyn, Ian and Cattrall, David M and McDermid,
	             John A and Jacob, Jeremy L},
	journal   = {Journal of Systems and Software},
	volume    = {41},
	number    = {3},
	pages     = {161--173},
	month     = {6},
	year      = {1998},
	publisher = {Elsevier},
	doi       = {10.1016/S0164-1212(97)10017-6},
	file      = {Toyn98-practical.pdf},
}