@incollection{wagner76-semantics,
	title     = {Some fundamentals of order-algebraic semantics},
	author    = {Wagner, E G and Wright, J B and Goguen, J A and Thatcher, J W},
	year      = {1976},
	booktitle = {Mathematical Foundations of Computer Science 1976},
	pages     = {153--168},
	volume    = {45},
	series    = {Lecture Notes in Computer Science},
	editor    = {Mazurkiewicz, Antoni},
	doi       = {10.1007/3-540-07854-1_169},
	publisher = {Springer Berlin Heidelberg},
	isbn      = {978-3-540-07854-8},
	% TODO: no local copy
}