@book{UA,
	author = "Stanley Burris and H. P. Sankappanavar",
	title = "A Course in Universal Algebra",
	publisher = "Springer-Verlag",
	year = "1981"}

@article{Church40,
	author = "A. Church",
	title = "A Formulation of the Simple Theory of Types",
	journal = "Journal of Symbolic Logic",
	volume = 5,
	year = 1940,
	pages = "56--68"}

@article{Clocksin87,
	author = "W. F. Clocksin",
	title = "Logic programming and digital circuit analysis",
	journal = "Journal of Logic Programming",
	volume = 4,
	year = 1987,
	pages = "59--82"}

@inproceedings{coquand88,
	author = "Thierry Coquand",
	title = "Categories of Embeddings",
	booktitle = "Logic in Computer Science",
	month = "July",
	year = 1988,
	editor = "Y. Gurevich",
	pages = "256--263",
	organization = "{IEEE} Computer Society"}

@book{Compendium,
	author = "G. Gierz and K. H. Hofmann and K. Keimel and J. D. Lawson and
			M. Mislove and D. S. Scott",
	title = "A Compendium of Continuous Lattices",
	publisher = "Springer-Verlag",
	year = 1980}

@manual{ML,
	author = "G. Cousineau and G. Huet and L. Paulson",
	title = "The ML Handbook",
	organization = "{INRIA}",
	year = 1986}

@incollection{Gordon86,
	author = "M. J. C. Gordon",
	title = "Why Higher-Order Logic is a Good Formalism for Specifying
                and Verifying Hardware",
	booktitle = "Formal Aspects of {VLSI} Design",
	editor = "G. J. Milne and P. A. Subrahmanyam",
	publisher = "North-Holland",
	year = 1986,
	pages = "73--128"}

@incollection{Gordon87,
	author = "M. J. C. Gordon",
	title = "HOL: A Proof Generating System for Higher-Order Logic",
	booktitle = "VLSI Specification, Verification and Synthesis",
	editor = "G. Birtwistle and P. A. Subrahmanyam",
	series = "Kluwer International Series in Engineering and
		  Computer Science",
	publisher = "Kluwer Academic Publishers",
	year = 1988,
	pages = "73--128"}

@article{gunter87,
	author = "Carl A. Gunter",
	title = "Universal Profinite Domains",
	journal = "Information and Computation",
	volume = 72,
	year = 1987,
	pages = "1--30"}

@inproceedings{gunter-jung88,
	author = "Carl A. Gunter and Achim Jung",
	title = "Coherence and Consistency in Domains (extended outline)",
	booktitle = "Logic in Computer Science",
	month = "July",
	year = 1988,
	editor = "Y. Gurevich",
	pages = "309--319",
	organization = "{IEEE} Computer Society"}

@book{Herstein,
	author = "I. N. Herstein",
	title = "Topics in Algebra",
	edition = 2,
	publisher = "Xerox College Publishing",
	year = 1975}

@book{Huppert,
	author = "B. Huppert",
	title  = "Endliche Gruppen",
	volume	= 1,
	publisher = "Springer-Verlag",
	year = 1983}

@book{johnstone,
	author = "Peter T. Johnstone",
	title = "Stone Spaces",
	publisher = "Cambrigde University Press",
	year = 1982}

@phdthesis{jung88a,
	author = "Achim Jung",
	title = "Cartesian Closed Categories of Domains",
	school = "Darmstadt Technische Hochschule",
	year = 1988}

@techreport{jung88b,
	author = "Achim Jung",
	title = "Cartesian Closed Categories of Algebraic CPO's",
	number = 1110,
	institution = "Technische Hochschule Darmstadt,
			 Fachbereich Mathematik",
	year = 1988}

@techreport{Leeser88,
	author = "M. E. Leeser",
	title = "Reasoning about the Function and Timing of Integrated
		 Circuits with Prolog and Temporal Logic",
	number = 126,
	institution = "University of Cambridge Computer Laboratory",
	month = "February",
	year = 1988}

@techreport{Melham88,
	author = "Thomas F. Melham",
	title = "Automating Recursive Type Definitions in Higher Order Logic",
	number = 146,
	institution = "University of Cambridge Computer Laboratory",
	month = "September",
	year = 1988}

@book{Paulson87,
	author = "Laurence C.  Paulson",
	title = "Logic and Computation: Interactive Proof with Cambridge LCF",
	series = "Cambridge Tracts in Theoretical Computer Science 2",
	publisher = "Cambridge University Press",
	year = 1987}

