@inbook(AbramskyGayNagarajan96,
 author       = "S. Abramsky and S.J. Gay and R. Nagarajan",
 year         = "1996",
 title        = "Deductive Program Desing: Proceedings of the 1994 Marktoberdorf International Summer School",
 chapter      = "Interaction categories and the foundations of typed concurrent programming",
 volume       = "4 Semantic Modelling",
 publisher    = "Springer",
)
@book(vanBreugel,
 author       = "{F. van} Breugel",
 year         = "1997",
 title        = "Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion",
 series       = "Progress in Theoretical Computer Science",
 publisher    = "Birkh\"auser Boston",
 address      = "Cambridge",
)
@inproceedings(vanBreugel05,
 author       = "{F. van} Breugel",
 year         = "2005",
 title        = "A Behavioural Pseudometric for Metric Labelled Transition Systems",
 editor       = "M. Abadi and L. de Alfaro",
 booktitle    = "Proceedings of the 16th International Conference on Concurrency Theory (CONCUR)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3653",
 publisher    = "Springer-Verlag",
 address      = "San Francisco",
 pages        = "141--155",
 doi          = "10.1007/11539452\_14",
)
@phdthesis(Cattani99,
 author       = "G.L. Cattani",
 year         = "1999",
 title        = "Presheaf Models for Concurrency",
 school       = "University of Aarhus",
 note         = "BRICS DS-99-1",
)
@article(CorradiniMontanariRossi96,
 author       = "Andrea Corradini and Ugo Montanari and Francesca Rossi",
 year         = "1996",
 title        = "Graph processes",
 journal      = "Fundamenta Informaticae",
 volume       = "26",
 number       = "3",
 pages        = "241--265",
 doi          = "10.3233/FI-1996-263402",
)
@inproceedings(Cuijpers13a,
 author       = "P.J.L. Cuijpers",
 year         = "2013",
 title        = "Prefix Orders as a General Model of Dynamics",
 booktitle    = "DCM 2013",
 series       = "to appear",
)
@inproceedings(CuijpersReniers08,
 author       = "P.J.L. Cuijpers and M.A. Reniers",
 year         = "2008",
 title        = "Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions",
 booktitle    = "Hybrid Systems Computation and Control (HSCC'08)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4981",
 pages        = "116--129",
 doi          = "10.1007/978-3-540-78929-1\_9",
)
@book(Eisenberg,
 author       = "M. Eisenberg",
 year         = "1974",
 title        = "Topology",
 publisher    = "Holt, Rinehart and Winston, Inc.",
 address      = "New York",
)
@inproceedings(AartsHeidarianVaandrager12,
 author       = "F. Heidarian F. Aarts and F.W. Vaandrager",
 year         = "2012",
 title        = "A Theory of History Dependent Abstractions for Learning Interface Automata",
 editor       = "Maciej Koutny and Irek Ulidowski",
 booktitle    = "Proceedings 23rd International Conference on Concurrency Theory (CONCUR)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7454",
 publisher    = "Springer-Verlag",
 address      = "Newcastle upon Tyne, UK",
 pages        = "240--255",
 doi          = "10.1007/978-3-642-32940-1\_18",
)
@inproceedings(Henzinger10,
 author       = "Thomas A. Henzinger",
 year         = "2010",
 title        = "From Boolean to quantitative notions of correctness",
 editor       = "Manuel V. Hermenegildo and Jens Palsberg",
 booktitle    = "Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010",
 publisher    = "ACM",
 pages        = "157--158",
 doi          = "10.1145/1706299.1706319",
)
@article(Huth05,
 author       = "M. Huth",
 year         = "2005",
 title        = "Labelled transition systems as a Stone space",
 journal      = "Logical Methods in Computer Science",
 volume       = "1",
 number       = "1:1",
 pages        = "1--28",
 doi          = "10.2168/LMCS-1(1:1)2005",
)
@inproceedings(JoyalNielsenWinskel93,
 author       = "Andr{\'e} Joyal and M Nielsen and Glynn Winskel",
 year         = "1993",
 title        = "Bisimulation and open maps",
 booktitle    = "Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on",
 organization = "IEEE",
 pages        = "418--427",
 doi          = "10.1109/LICS.1993.287566",
)
@book(Kelley,
 author       = "J.L. Kelley",
 year         = "1955",
 title        = "General Topology",
 publisher    = "D. van Nostrand Company, inc.",
 address      = "New York",
)
@book(Kunen,
 author       = "K. Kunen",
 year         = "1988",
 title        = "Set Theory: An Introduction to Independence Proofs",
 edition      = "third",
 series       = "Studies In Logic and the Foundations of Mathematics",
 volume       = "102",
 publisher    = "Elsevier Science B.V.",
)
@book(LawvereSchanuel,
 author       = "F.W. Lawvere and S.H. Schanuel",
 year         = "1997",
 title        = "Conceptual Mathematics: a first introduction to categories",
 publisher    = "Cambridge University Press",
)
@book(MacLane,
 author       = "S. MacLane",
 year         = "1971",
 title        = "Categories for the Working Mathematician",
 publisher    = "Springer-Verlag",
)
@article(MontanariPistore97,
 author       = "Ugo Montanari and Marco Pistore",
 year         = "1997",
 title        = "An Introduction to History Dependent Automata",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "10",
 number       = "0",
 pages        = "170 -- 188",
 doi          = "10.1016/S1571-0661(05)80696-6",
)
@article(Morgan09,
 author       = "C. Morgan",
 year         = "2009",
 title        = "How to Brew-up a Refinement Ordering",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "259",
 number       = "0",
 pages        = "123 -- 141",
 doi          = "10.1016/j.entcs.2009.12.021",
)
@book(PerrinPin,
 author       = "D. Perrin and J-E. Pin",
 year         = "2004",
 title        = "Infinite Words Automata, Semigroups, Logic and Games",
 series       = "Pure and Applied Mathematics",
 volume       = "141",
 publisher    = "Elsevier",
)
@article(WinskelNielsen97,
 author       = "Glynn Winskel and Mogens Nielsen",
 year         = "1997",
 title        = "Presheaves as transition systems",
 journal      = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science",
 volume       = "29",
 pages        = "129--140",
)
@book(Ying,
 author       = "M. Ying",
 year         = "2001",
 title        = "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-1-4613-0123-3",
)