Edinburgh LCF. Gordon, M. J., Milner, A. J., & Wadsworth, C. P. Springer-Verlag, 1979.
bibtex   
@book{Gordon+al:1979,
	author = "Gordon, M. J. and Milner, A. J. and Wadsworth, C. P.",
	title = "Edinburgh {LCF}",
	year = 1979,
	publisher = springer,
	_address = springer-ad
}

Downloads: 0