@article{ATEM-2003-CoxC04,
	author        = "Anthony Cox and Charles L. A. Clarke",
	doi           = "10.1016/j.entcs.2004.01.003",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "71--79",
	title         = "{Three-Layered Source-Code Modelling}",
	volume        = 94,
	year          = 2004,
}