@article(BHA86,
 author       = "Geoffrey L. Burn and Chris Hankin and Samson Abramsky",
 year         = "1986",
 title        = "Strictness Analysis for Higher-Order Functions",
 journal      = "Sci. Comput. Program.",
 volume       = "7",
 number       = "3",
 pages        = "249--278",
 doi          = "10.1016/0167-6423(86)90010-9",
)
@inproceedings(CC77,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@article(DYB10,
 author       = "{Jean-Charles} Delvenne and Sophia Yaliraki and Mauricio Barahona",
 year         = "2010",
 title        = "Stability of graph communities across time scales",
 journal      = "Proc. Nat. Acad. Sci.",
 volume       = "107(29)",
 pages        = "12755--12760",
 doi          = "10.1073/pnas.0903215107",
)
@inproceedings(HM13,
 author       = "Chris Hankin and Pasquale Malacaria",
 year         = "2013",
 title        = "Payoffs, Intensionality and Abstraction in Games",
 booktitle    = "Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky",
 series       = "Lecture Notes in Computer Science",
 volume       = "7860",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-38164-5-6",
)
@inproceedings(LS89,
 author       = "Kim Guldstrand Larsen and Arne Skou",
 year         = "1989",
 title        = "Bisimulation Through Probabilistic Testing",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "344--352",
 doi          = "10.1145/75277.75307",
)
@article(LMH13,
 author       = "Erwan {Le Martelot} and Chris Hankin",
 year         = "2013",
 title        = "Fast Multi-Scale Detection of Relevant Communities in Large-Scale Networks",
 journal      = "Computer Journal",
 doi          = "10.1093/comjnl/bxt002",
)
@inproceedings(MeltonSS85,
 author       = "Austin Melton and David A. Schmidt and George E. Strecker",
 year         = "1986",
 title        = "Galois Connections and Computer Science Applications",
 booktitle    = "CTCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "240",
 publisher    = "Springer",
 pages        = "299--312",
 doi          = "10.1007/3-540-17162-2-130",
)
@inproceedings(DPHW03,
 author       = "Alessandra Di Pierro and Chris Hankin and Herbert Wiklicky",
 year         = "2003",
 title        = "Quantitative Relations and Approximate Process Equivalences",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "2761",
 publisher    = "Springer",
 pages        = "498--512",
 doi          = "10.1007/978-3-540-45187-7-33",
)
@article(DPHW04,
 author       = "Alessandra Di Pierro and Chris Hankin and Herbert Wiklicky",
 year         = "2004",
 title        = "Approximate Non-interference",
 journal      = "Journal of Computer Security",
 volume       = "12",
 number       = "1",
 pages        = "37--82",
)
@article(DPHW05,
 author       = "Alessandra Di Pierro and Chris Hankin and Herbert Wiklicky",
 year         = "2005",
 title        = "Measuring the confinement of probabilistic systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "340",
 number       = "1",
 pages        = "3--56",
 doi          = "10.1016/j.tcs.2005.03.002",
)
@article(DPHW12,
 author       = "Alessandra Di Pierro and Chris Hankin and Herbert Wiklicky",
 year         = "2011",
 title        = "Probabilistic timing covert channels: to close or not to close?",
 journal      = "Int. J. Inf. Sec.",
 volume       = "10",
 number       = "2",
 pages        = "83--106",
 doi          = "10.1007/s10207-010-0107-0",
)
@inproceedings(DPW00,
 author       = "Alessandra Di Pierro and Herbert Wiklicky",
 year         = "2000",
 title        = "Concurrent constraint programming: towards probabilistic abstract interpretation",
 booktitle    = "PPDP",
 publisher    = "ACM",
 pages        = "127--138",
 doi          = "10.1145/351268.351284",
)
@inproceedings(Schmidt80,
 author       = "David A. Schmidt",
 year         = "1980",
 title        = "State transition machines for lambda calculus expressions",
 booktitle    = "Semantics-Directed Compiler Generation",
 series       = "Lecture Notes in Computer Science",
 volume       = "94",
 publisher    = "Springer",
 pages        = "415--440",
 doi          = "10.1007/3-540-10250-7-32",
)
@book(Den86,
 author       = "David A. Schmidt",
 year         = "1986",
 title        = "Denotational semantics: a methodology for language development",
 publisher    = "Allyn and Bacon",
)
@inproceedings(Bisim99,
 author       = "David A. Schmidt",
 year         = "1999",
 title        = "Binary relations for abstraction and refinement",
 booktitle    = "Workshop on Refinement and Abstraction",
)