@article(Bakker1998DMFPLAOBFPT,
 author       = "Jaco~W. de~Bakker and Erik~P. de~Vink",
 year         = "1998",
 title        = "Denotational models for programming languages: applications of Banach's Fixed Point Theorem",
 journal      = "Topology and its Applications",
 volume       = "85",
 number       = "1-3",
 pages        = "35--52",
 doi          = "10.1016/S0166-8641(97)00140-5",
)
@article(Cousot1979CVOTFPT,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1979",
 title        = "Constructive versions of {Tarski}'s fixed point theorems",
 journal      = "Pacific J. of Math.",
 volume       = "82",
 number       = "1",
 pages        = "43--57",
 doi          = "10.2140/pjm.1979.82.43",
)
@book(Davey2002ITLAO,
 author       = "Brian~A. Davey and Hilary~A. Priestley",
 year         = "2002",
 title        = "Introduction to Lattices and Order",
 edition      = "second",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511809088",
)
@book(Enderton1977EOST,
 author       = "Herbert~B. Enderton",
 year         = "1977",
 title        = "Elements of Set Theory",
 publisher    = "Academic Press",
)
@phdthesis(Hitzler2001GMATILPS,
 author       = "Pascal Hitzler",
 year         = "2001",
 title        = "Generalized Metrics and Topology in Logic Programming Semantics",
 school       = "Department of Mathematics, National University of Ireland, University College Cork",
)
@article(Hitzler2003GMAUDLP,
 author       = "Pascal Hitzler and Anthony~Karel Seda",
 year         = "2003",
 title        = "Generalized metrics and uniquely determined logic programs",
 journal      = "Theoretical Computer Science",
 volume       = "305",
 number       = "1-3",
 pages        = "187--219",
 doi          = "10.1016/S0304-3975(02)00709-0",
)
@book(Hodges1993MT,
 author       = "Wilfrid Hodges",
 year         = "1993",
 title        = "Model Theory",
 series       = "Encyclopedia of Mathematics and its Applications",
 volume       = "42",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511551574",
)
@inproceedings(Kozen2007AOMC,
 author       = "Dexter Kozen and Nicholas Ruozzi",
 year         = "2007",
 title        = "Applications of Metric Coinduction",
 booktitle    = "CALCO'07: Proceedings of the 2nd international conference on Algebra and coalgebra in computer science",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "327--341",
 doi          = "10.1007/978-3-540-73859-6\_22",
)
@article(Lee1999MCRPUDE,
 author       = "Edward~A. Lee",
 year         = "1999",
 title        = "Modeling concurrent real-time processes using discrete events",
 journal      = "Annals of Software Engineering",
 volume       = "7",
 number       = "1",
 pages        = "25--45",
 doi          = "10.1023/A:1018998524196",
)
@article(Lee1998AFFCMOC,
 author       = "Edward~A. Lee and Alberto Sangiovanni-Vincentelli",
 year         = "1998",
 title        = "A Framework for Comparing Models of Computation",
 journal      = "Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on",
 volume       = "17",
 number       = "12",
 pages        = "1217--1229",
 doi          = "10.1109/43.736561",
)
@incollection(Liu2006MTCS,
 author       = "Xiaojun Liu and Eleftherios Matsikoudis and Edward~A. Lee",
 year         = "2006",
 title        = "Modeling Timed Concurrent Systems",
 editor       = "Christel Baier and Holger Hermanns",
 booktitle    = "CONCUR 2006 -- Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "4137",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "1--15",
 doi          = "10.1007/11817949\_1",
)
@book(Lloyd1987FOLP,
 author       = "John~W. Lloyd",
 year         = "1987",
 title        = "Foundations of Logic Programming",
 edition      = "second, extended",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-642-83189-8",
)
@article(Markowsky1976CPADSWA,
 author       = "George Markowsky",
 year         = "1976",
 title        = "Chain-complete posets and directed sets with applications",
 journal      = "Algebra Universalis",
 volume       = "6",
 number       = "1",
 pages        = "53--68",
 doi          = "10.1007/BF02485815",
)
@incollection(Matsikoudis2013AAOTTOGUSOLS,
 author       = "Eleftherios Matsikoudis and Edward~A. Lee",
 year         = "2013",
 title        = "An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals",
 editor       = "Leszek G\k {a}sieniec and Frank Wolter",
 booktitle    = "Fundamentals of Computation Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "8070",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "248--258",
 doi          = "10.1007/978-3-642-40164-0\_24",
)
@techreport(Matsikoudis2013TFTOSCF,
 author       = "Eleftherios Matsikoudis and Edward~A. Lee",
 year         = "2013",
 title        = "The Fixed-Point Theory of Strictly Causal Functions",
 type         = "Technical Report",
 number       = "UCB/EECS-2013-122",
 institution  = "EECS Department, University of California, Berkeley",
)
@incollection(Matsikoudis2013aOFPOSCF,
 author       = "Eleftherios Matsikoudis and Edward~A. Lee",
 year         = "2013",
 title        = "On Fixed Points of Strictly Causal Functions",
 editor       = "V\'{i}ctor Braberman and Laurent Fribourg",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "8053",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "183--197",
 doi          = "10.1007/978-3-642-40229-6\_13",
)
@article(Naundorf2000SCFHAUFP,
 author       = "Holger Naundorf",
 year         = "2000",
 title        = "Strictly causal functions have a unique fixed point",
 journal      = "Theoretical Computer Science",
 volume       = "238",
 number       = "1-2",
 pages        = "483--488",
 doi          = "10.1016/S0304-3975(99)00165-6",
)
@article(Priess-Crampe1993FPCAGPS,
 author       = "Sibylla Priess-Crampe and Paulo Ribenboim",
 year         = "1993",
 title        = "Fixed Points, Combs and Generalized Power Series",
 journal      = "Abhandlungen aus dem Mathematischen Seminar der Universit{\"a}t Hamburg",
 volume       = "63",
 number       = "1",
 pages        = "227--244",
 doi          = "10.1007/BF02941344",
)
@article(Priess-Crampe2000USALP,
 author       = "Sibylla Priess-Crampe and Paulo Ribenboim",
 year         = "2000",
 title        = "Ultrametric spaces and logic programming",
 journal      = "The Journal of Logic Programming",
 volume       = "42",
 number       = "2",
 pages        = "59--70",
 doi          = "10.1016/S0743-1066(99)00002-3",
)
@incollection(Reed1986ATMFCSP,
 author       = "George~M. Reed and A.~William Roscoe",
 year         = "1986",
 title        = "A Timed Model for Communicating Sequential Processes",
 editor       = "Laurent Kott",
 booktitle    = "Automata, Languages and Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "226",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "314--323",
 doi          = "10.1007/3-540-16761-7\_81",
)
@incollection(Roscoe1991TCSATMOC,
 author       = "A.~William Roscoe",
 year         = "1991",
 title        = "Topology, computer science, and the mathematics of convergence",
 editor       = "G.~M. Reed and A.~W. Roscoe and R.~F. Wachter",
 booktitle    = "Topology and category theory in computer science",
 chapter      = "1",
 publisher    = "Oxford University Press, Inc.",
 address      = "New York, NY, USA",
 pages        = "1--27",
)
@incollection(Rounds1985AOTTSOCP,
 author       = "William~C. Rounds",
 year         = "1985",
 title        = "Applications of topology to semantics of communicating processes",
 editor       = "Stephen Brookes and Andrew Roscoe and Glynn Winskel",
 booktitle    = "Seminar on Concurrency",
 series       = "Lecture Notes in Computer Science",
 volume       = "197",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "360--372",
 doi          = "10.1007/3-540-15670-4\_17",
)
@inproceedings(Schorner2003UFPTAA,
 author       = "Erwin Sch\"{o}rner",
 year         = "2003",
 title        = "Ultrametric Fixed Point Theorems and Applications",
 booktitle    = "Valuation Theory and its Applications",
 series       = "Fields Institute Communications",
 volume       = "II",
 publisher    = "American Mathematical Society",
 pages        = "353--359",
)
@unpublished(Scott1969ATOP,
 author       = "Dana~S. Scott and Jaco~W. de~Bakker",
 year         = "1969",
 title        = "A theory of programs",
 note         = "Unpublished notes, Seminar on Programming, IBM Research Center, Vienna, Austria",
)
@article(Tarski1955ALFTAIA,
 author       = "Alfred Tarski",
 year         = "1955",
 title        = "A Lattice-Theoretical Fixpoint Theorem and its Applications",
 journal      = "Pacific J. of Math.",
 volume       = "5",
 number       = "2",
 pages        = "285--309",
 doi          = "10.2140/pjm.1955.5.285",
)