@inproceedings(Abramsky1995,
 author       = "Samson Abramsky and Simon Gay and Rajagopal Nagarajan",
 year         = "1995",
 title        = "Interaction Categories and the Foundations of Typed Concurrent Programming",
 editor       = "Manfred Broy",
 booktitle    = "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany",
 publisher    = "Springer",
 pages        = "35--114",
)
@incollection(Alani2002,
 author       = "Harith Alani",
 year         = "2002",
 title        = "Managing Reference: Ensuring Referential Integrity of Ontologies for the {Semantic Web}",
 editor       = "G\'{o}mez-P\'{e}rez",
 booktitle    = "Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web",
 volume       = "2473",
 publisher    = "Springer",
 pages        = "235--246",
 doi          = "10.1007/3-540-45810-7\_29",
)
@article(Scott1994,
 author       = "G. Bellin and P. J. Scott",
 year         = "1994",
 title        = "On the $\pi $-Calculus and Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 pages        = "11--65",
 doi          = "10.1016/0304-3975(94)00104-9",
)
@manual(Biron2004,
 author       = "Paul V. Biron and Ashok Malhotra",
 year         = "2004",
 title        = "{XML} Schema part 2: Datatypes Second Edition",
 organization = "W3C",
 address      = "MIT, Cambridge, MA",
 note         = "{REC-xmlschema-2-20041028}",
)
@article(Montanari1997,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "1997",
 title        = "Semiring-Based Constraint Satisfaction and Optimization",
 journal      = "Journal of the ACM",
 volume       = "44",
 number       = "2",
 pages        = "201--236",
 doi          = "10.1145/256303.256306",
)
@article(Bizer2009b,
 author       = "Christian Bizer",
 year         = "2009",
 title        = "The Emerging {Web of Linked Data}",
 journal      = "IEEE Intelligent Systems",
 volume       = "24",
 pages        = "87--92",
 doi          = "10.1109/MIS.2009.102",
)
@manual(Brickley2004,
 author       = "Dan Brickley and R.V. Guha",
 year         = "2004",
 title        = "{RDF} Vocabulary Description Language 1.0: {RDF Schema}",
 organization = "W3C",
 address      = "MIT, Cambridge, MA",
 note         = "{REC-rdf-schema-20040210}",
)
@manual(Cyganiak2005,
 author       = "Richard Cyganiak",
 year         = "2005",
 title        = "A relational algebra for {SPARQL}",
 organization = "Hewlit Packard Labs",
 address      = "Bristol",
 note         = "{HPL-2005-170}",
)
@article(Girard1987,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 number       = "1",
 pages        = "1--112",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@manual(Seaborne2010,
 author       = "Steve Harris and Andy Seaborne and Eric Prud'hommeaux",
 year         = "2010",
 title        = "{SPARQL} 1.1 Query Language",
 organization = "W3C",
 address      = "MIT, Cambridge, MA",
 note         = "{WD-sparql11-query-20101014}",
)
@inproceedings(Bizer2009,
 author       = "Olaf Hartig",
 year         = "2009",
 title        = "Executing {SPARQL Queries} over the {Web of Linked Data}",
 editor       = "A. Bernstain",
 booktitle    = "The Semantic Web -- ISWC 2009, Chantilly, VA",
 volume       = "5823",
 publisher    = "Springer",
 pages        = "293--309",
 doi          = "10.1007/978-3-642-04930-9\_19",
)
@inproceedings(Hoare2009,
 author       = "C. A. R. Tony Hoare and Bernhard M\"{o}ller and Georg Struth and Ian Wehrman",
 year         = "2009",
 title        = "Concurrent {Kleene} Algebra",
 editor       = "Mario Bravetti and Gianluigi Zavattaro",
 booktitle    = "CONCUR 2009, Bologna, Italy",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "399--414",
 doi          = "10.1007/978-3-642-04081-8\_27",
)
@article(Miller1994,
 author       = "Joshua S. Hodas and Dale Miller",
 year         = "1994",
 title        = "Logic Programming in a Fragment of Intuitionistic Linear Logic",
 journal      = "Information and Computation",
 volume       = "110",
 number       = "2",
 pages        = "327--365",
)
@phdthesis(Horne2011,
 author       = "Ross Horne",
 year         = "2011",
 title        = "Programming Languages and Principles for Read--Write Linked Data",
 school       = "Electronics and Computer Science, University of Southampton",
)
@article(Rathke2005,
 author       = "Alan Jeffrey and Julian Rathke",
 year         = "2005",
 title        = "Contextual equivalence for higher-order $\pi $-calculus revisited",
 journal      = "Logical Methods in Computer Science",
 volume       = "1",
 number       = "4",
 pages        = "1--22",
 doi          = "10.2168/LMCS-1(1:4)2005",
)
@manual(Carroll2004,
 author       = "Graham Klyne and Jeremy Carroll",
 year         = "2004",
 title        = "{Resource Description Framework}: Concepts and Abstract Syntax",
 organization = "W3C",
 address      = "MIT, Cambridge, MA",
 note         = "{REC-rdf-concepts-20040210}",
)
@inproceedings(Kobayashi93,
 author       = "Naoki Kobayashi and Akinori Yonezawa",
 year         = "1993",
 title        = "{ACL} -- A Concurrent Linear Logic Programming Paradigm",
 booktitle    = "Proceedings of the 1993 International Logic Programming Symposium",
 publisher    = "MIT Press",
 pages        = "279--294",
)
@inproceedings(Kozen1990,
 author       = "Dexter Kozen",
 year         = "1990",
 title        = "On {Kleene} algebras and Closed Semirings",
 editor       = "Rovan",
 booktitle    = "Proceedings on Mathematical Foundations of Computer Science",
 volume       = "452",
 publisher    = "Springer-Verlag",
 pages        = "26--47",
)
@article(Kozen1994,
 author       = "Dexter Kozen",
 year         = "1994",
 title        = "A Completeness Theorem for {Kleene} Algebras and the Algebra of Regular Events",
 journal      = "Information and Computation",
 volume       = "110",
 pages        = "366--390",
 doi          = "10.1006/inco.1994.1037",
)
@article(Kozen1997,
 author       = "Dexter Kozen",
 year         = "1997",
 title        = "{Kleene} algebra with tests",
 journal      = "ACM Transactions on Programing Languages and Systems",
 volume       = "19",
 pages        = "427--443",
 doi          = "10.1145/256167.256195",
)
@inproceedings(Merro2002,
 author       = "Massimo Merro and Matthew Hennessy",
 year         = "2002",
 title        = "Bisimulation congruences in safe ambients",
 booktitle    = "Principles of programming languages",
 publisher    = "ACM",
 pages        = "71--80",
 doi          = "10.1145/503272.503280",
)
@article(Milner1992,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, part {I} and {II}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@article(Arenas2009,
 author       = "Jorge P{\'e}rez and Marcelo Arenas and Claudio Gutierrez",
 year         = "2009",
 title        = "Semantics and Complexity of {SPARQL}",
 journal      = "{ACM} Transactions on Database Systems",
 volume       = "34",
 number       = "3",
 pages        = "1--45",
 doi          = "10.1145/1567274.1567278",
)
@manual(Seaborne2008,
 author       = "Eric Prud'hommeaux and Andy Seaborne",
 year         = "2008",
 title        = "{SPARQL} Query Language for {RDF}",
 organization = "W3C",
 address      = "MIT, Cambridge, MA",
 note         = "{REC-rdf-sparql-query-20080115}",
)
@article(Redko1964,
 author       = "V. N. Redko",
 year         = "1964",
 title        = "On defining relations for the algebra of regular events",
 journal      = "Ukrainskii Matematicheskii Zhurnal",
 pages        = "120--126",
)