@misc{toft95-formal,
	title  = {Formal specification of {ANDF} semantics},
	year   = {1995},
	author = {Toft, Jens-Ulrik},
	note   = {ESPRIT Project 6062 OMI/GLUE, DDC-I},
	% TODO: no local copy
}