@incollection{foster89-algebraic,
	title        = {The algebraic specification of a target machine: {Ten15}},
	author       = {Foster, J Michael},
	booktitle    = {High-Integrity Software},
	series       = {Software Science and Engineering},
	editor       = {Sennett, Chris T},
	pages        = {198--225},
	year         = {1989},
	publisher    = {Springer}, % US
	publisher    = {Pitman},   % London
	isbn         = {978-1-4684-5777-3},
	doi          = {10.1007/978-1-4684-5775-9_9},
	file         = {Foster89-algebraic.pdf},
}