@String(JCSS="Journal of Computer and System Sciences")
	@string {LNCS="Lecture Notes in Computer Science"}
	@string {LNM="Lecture Notes in Mathematics"}
	@string {TCS="Theoretical Computer Science"}
	@string{gmd={Gesellschaft f\"{u}r Mathematik und Datenverarbeitung}}

	@Article(
AA66,	Author="Amemiya, I. and Araki, H.",
	Title="A remark on {P}iron's paper",
	Journal="Pubs. of the Res. Inst. of Math. Sciences, Kyoto
	University Series A2", Volume=2, Pages="423-427", Year=1966)

	@Book(
AS,	Author="Abraham, R.H. and Shaw, C.D.",
	Title="Dynamics--The Geometry of Behavior",
	Publisher="Aerial Press, Inc.", Address="Santa Cruz, CA",
	Year=1989)

	@Article(
Abe50,	Author="{Abel\`es}, F.",
	Title="{R\'echerches} sur la propagation des ondes electromagnetiques 
	sinusoidales dans les milieux {stratifi\'es}: application aux couches
	minces, {Parts I and II}",
	Journal="Annales de Physique", Year=1950)

	@InProceedings(
Abr,	Author="Abrahamson, K.",
	Title="Modal Logic of Concurrent Nondeterministic programs",
	BookTitle="International Symposium on Semantics of Concurrent
		Computation",
	Address="Evian-les-Baines",
	Month=Jul, Year=1979)

	@InProceedings(
Abr87,	Author="Abramsky, S.",
	Title="Domain Theory in Logical Form",
	BookTitle="Proc. 2nd Annual IEEE Symp. on Logic in Computer Science",
	Address="Ithaca, NY", Pages="47-53", Month=Jun, Year=1987)

	@Article(
Abr90,	Author="V. Michele Abrusci",
	Title="Non-commutative intuitionistic linear propositional logic",
	Journal="Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der
			  Mathematik",
	Volume=36, Pages="297--318", Year=1990)


	@InProceedings(
AC06,	Author="Akleman, E. and Chen, J.",
	Title="Insight for Practical Subdivision Modeling with Discrete
		Gauss-Bonnet Theorem",
	BookTitle="Geometric Modeling and Processing--GMP 2006",
	Series=LNCS,
	Publisher="Springer-Verlag", Year=2006)

	@Article(
Adj37,	Author="Ajdukewicz, K.",
	Title="Die syntaktische Konnexit{\"a}t",
	Journal="Studia Philosophica", Volume=I, Pages="1-27", Year=1937,
	Note="English translation in S. McCall, Polish Logic 1920-1939,
	Clarendon Press, Oxford, 1967.")

	@Article(
AK79,	Author="Ad\'amek, J. and Koubek, V.",
	Title="Least Fixed Point of a Functor",
	Journal=JCSS, Volume=19, Pages="163-178", Year=1979)

	@Book(
Agh86,	Author="Gul A. Agha",
	Title="Actors: A Model Of Concurrent Computation in Distributed 
		Systems", Publisher="MIT Press",
	Series="MIT Press Series In Artificial Intelligence", Year=1986)

	@Book(
AHU,	Author="Aho, A.V. and J. E. Hopcroft and J.D. Ullman.",
	Title="The Design and Analysis of Computer Algorithms",
	Publisher="Addison-Wesley", Address="Reading,  Mass", Year="1974")

	@Article(
AB62,	Author="A. R. Anderson and N. D. Belnap",
	Title="The pure calculus of entailment",
	Journal="J. Symbolic Logic", Volume=27, Pages="19-52", Year=1962)

	@Book(
AB75,	Author="A. R. Anderson and N. D. Belnap",
	Title="Entailment", Volume=1,
	Publisher="Princeton University Press",
	Address="Princeton, NJ", Year=1975)

	@InProceedings(
AH,	Author="Anderson, S. and Hudak, P.",
	Title="Pomset Interpretations of Parallel Functional Programs",
	BookTitle="Proc. 3rd International Conf. on Functional
		Programming Languages and Computer Architecture",
	Address="Portland, OR", Month=Sep, Year=1987)

	@InProceedings(
AJ92,	Author="Abramsky, S. and Jagadeesan, R.",
	Title="Games and Full Completeness for Multiplicative Linear Logic", 
	BookTitle="Foundations of Software Technology and Theoretical
	Computer Science", Series=LNCS, Address="New Delhi",
	Note="Also Imperial College Report DoC 92/24",
	Publisher="Springer-Verlag", Year=1992)

	@InProceedings(
AJ92b,	Author="Samson Abramsky and Radha Jagadeesan",  
	Title="New Foundations for the Geometry of Interaction",
	bookTitle="Seventh Annual Symposium on Logic in Computer Science", 
	address="Santa Cruz, California", month=jun, pages="211--222", 
	publisher="{IEEE} Computer Society Press", year=1992)

	@Article(
AJ94,	Author="Samson Abramsky and Radha Jagadeesan",
	Title="New Foundations for the Geometry of Interaction",
	journal="Information and Computation",
	volume=111, number=1, pages="53--119",
	note="Extended version of the paper published in the Proceedings
		of LICS'92", year=1994)

	@Article(
AJ94b,	Author="Samson Abramsky and Radha Jagadeesan",
	Title="Games and Full Completeness for Multiplicative Linear Logic",
	journal="Journal of Symbolic Logic",
	volume=59, number=2, pages="543--574", year=1994)

	@Article(
AV93,	Author="Samson Abramsky and Steven Vickers",
	Title="Quantales, Observational Logic and Process Semantics",
	Journal="Math. Struct. in Computer Science",
	Volume=3, Pages="161--227", Year=1993)

	@Book(
Ale96,	Author="Aleksandrov, Pavel Sergeevich",
	Title="Combinatorial topology", Publisher="Graylock Press",
	Year="1956-1960")

	@Article(
All84,  Author="Allen, J.F.",
	Title="Towards a general theory of action and time",
	Journal="Artificial Intelligence",
	Volume=23, Pages="123--154", Year=1984)

	@Book(
AM,	Author="Arbib, M. and Manes, E.",
	Title="Arrows, Structures, and Functors: The Categorical Imperative",
	Publisher="Academic Press", Year=1975)

	@Unpublished(
And92,	Author="Anderson, Arlen",
	Title="The Global Problem of Time",
	Note="McGill 92-15, hep/9205112",
	Month=Mar, Year=1992)

	@TechReport(
And88,	Author="Andreka, H.",
	Title="On the representation problem of distributive semilattice
	ordered semigroups",
	Institution="Math. Inst. Hung. Acad. Sci., Budapest",
	Note="Abstracted in: Abstracts of AMS Vol.10, No 22 (March 1989),
	*89T-08-21, p.174.", Month=Sep, Year=1988)

	@Article(
AR89,	Author="America, P. and Rutten, J.",
	Title="Solving reflexive domain equations in a category of
		complete metric spaces",
	Journal=JCSS, Volume=39, Number=3, Pages="343-375", Year=1989)

	@Unpublished(
Asp87,	Author="Asperti, A.",
	Title="A Logic for Concurrency",
	Note="Manuscript", Month=Nov, Year=1987)

	@inproceedings(
AFG90,	Author="A. Asperti and G. L. Ferrari and R. Gorrieri",
	Title="Implicative formulae in the {``proofs as computations''}
	analogy", BookTitle="Principles of Programming Languages",
	Editor="P. Hudak", Pages="59-71", Publisher="{ACM}", Year=1990)

	@PhDThesis(
Asp90,	Author="Asperti, A.",
	Title="Categorical Topics in Computer Science",
	School="University of Pisa", Month=Jul, Year=1990)

	@Book(
AL91,	Author="Asperti, A. and Longo, G.",
	Title="Categories, Types, and Structures",
	Publisher="MIT Press", Year=1991)

	@InCollection(
AR91,	Author={F. D. Anger and R. V. Rodriguez},
	Title={Time, Tense, and Relativity Revisited},
	Booktitle="Uncertainty in Knowledge Bases: Proc.\ of the 3rd
	International Conference on Information Processing and Management of
	Uncertainty in Knowledge-Based Systems, IPMU'90",
	Editor={B. Bouchon-Meunier and R. R. Yager and L. A. Zadeh},
	Publisher={Springer},
	Address={Berlin, Heidelberg},
	Pages={286-295},
	Keywords={},
	Year=1991)

	@Article(
Atk68,	Author="Atkins, D.E.",
	Title="Higher-Radix Division Using Estimates of the Divisor and
	Partial Remainders",
	Journal="IEEE Transactions on Computers", Volume="C-17",
	Number=10, Month=Oct, Year=1968)

	@Article(
Avr84,	Author="Avron, A.",
	Title="Relevant Entailment--Semantics and Formal Systems",
	Journal="J. Symbolic Logic", Month=Jun, Year=1984)

	@Article(
Avr88,	Author="Avron, A.",
	Title="The Semantics and Proof Theory of Linear Logic",
	Journal=TCS, Volume=57, Pages="161-184", Year=1988)

	@PhDThesis(
Aud97,	Author="Tan, A.",
	Title="Full completeness for models of linear logic",
	School="King's College, University of Cambridge", Month=Oct, Year=1997)

	@Article(
BQR,	Author="Borceux, F. and Quinteiro, C. and {Rosick\'y}, J.",
	Title="A Theory of Enriched Sketches",
	Journal="Theory and Applications of Categories", Pages="47-72",
	Volume=4, Number=3, Year=1998)

	@Book(
Bor94,	Author="Borceux, F.",
	Title="Handbook of Categorical Algebra 1: Basic Category Theory",
	Publisher="Cambridge University Press", Address="Cambridge, UK",
	Year=1994)

	@misc(
Bo90,	Author={G. Boudol},
	Year={1990},
	Note={Report INRIA Sophia Antipolis, in preparation},
	Title={Computations of distributed systems, part 1: flow
	event structures and flow nets})

	@InProceedings(
BC87,	Author="G. Boudol and I. Castellani",
	Title="On the semantics of concurrency: partial orders and
		transition systems",
	BookTitle=Tapsoft87v1,
	Editor="H. Ehrig and R. Kowalski and G. Levi and U.  Montanari",
	Series=LNCS, Volume=249,
	Publisher="Springer", Pages="123--137", Year=1987)
 
	@inproceedings(
BC90,	Author="G. Boudol and I. Castellani",
	Editor="Guessarian, I.",
	BookTitle="Semantics of Systems of Concurrent Processes,
	Proceedings LITP Spring School on Theoretical Computer Science",
	Address="La Roche Posay, France", Series=LNCS, Volume=469,
	Publisher="Springer", Pages={96--141},
	Title={Three Equivalent Semantics for {CCS}}, Year=1990)

	@Book(
BCG,	Author="Bottani, A. and Carrara, M. and Giaretta, P.",
	Title="Individuals, essence, and identity : themes of analytic
	metaphysics", Publisher="Springer-Verlag", Year=2002)

	@Book(
BD74,	Author="Berge, Claude and Ray-{C}haudhuri, Dijen",
	Title="Working Seminar on Hypergraphs", Series=LNM, Volume=411,
	Publisher="Springer-Verlag", Address="Berlin", Year=1974)

	@InProceedings(
BD92,	Author="Badouel, E. and Darondeau, P.",
	Title="Structural Operational Specifications and Trace Automata",
	BookTitle="Proc. of CONCUR'92", Series=LNCS, Volume=630, Publisher="Springer-Verlag",
	Pages="302-316", Address="Stonybrook, New York", Month=Aug, Year=1992)

	@PhDThesis(
Bellin90,Author="Bellin, G.",
	Title="Mechanizing Proof Theory: Resource-Aware Logics and
	Proof-Transformations to Extract Implicit Information",
	School="Stanford University",
	Year=1990)

	@Book(
Ber73,	Author="Berge, Claude",
	Title="Graphs and Hypergraphs (transl: {E}. {M}inieka)",
	Publisher="North-Holland", Address="Amsterdam", Year=1973)

	@Book(
Ber89,	Author="Berge, Claude",
	Title="Hypergraphs: combinatorics of finite sets",
	Publisher="North-Holland", Address="Amsterdam", Year=1989)

	@TechReport(
Ben87a,	Author="David B. Benson",
	Title="Bisimulation of Automata",
	number="CS-87-167",
	institution="Computer Science Department, Washington State 
		University, Pullman, Washington",
	month=may, year=1987,
	note="Revision of work presented at LICS 1986")

	@TechReport(
Ben87b,	Author="David B. Benson",
	Title="The Shuffle Bialgebra",
	number="CS-87-168",
	institution="Computer Science Department, Washington State 
		University, Pullman, Washington",
	month=may, year=1987)

	@TechReport(
Ben87c,	Author="David B. Benson",
	Title="Bialgebras: Some Foundations for Distributed and Concurrent 
		Computation",
	number="CS-87-168",
	institution="Computer Science Department, Washington State 
		University, Pullman, Washington",
	year=1987)

	@TechReport(
BA77,	Author="Brock, J.D. and Ackerman, W.B.",
	Title="An anomaly in the specifications of nondeterministic packet
	systems",
	Number="Computation Structures Group Note CSG-33",
	Institution="MIT Lab. for Computer Science", Month=Nov, Year=1977)

	@InProceedings(
BA81,	Author="Brock, J.D. and Ackerman, W.B.",
	Title="Scenarios: A Model of Non-Determinate Computation",
	BookTitle="Formalization of Programming Concepts", Series=LNCS,
	Volume=107,
	Editors="Diaz, J. and Ramos, I.", Pages="252-259",
	Publisher="Springer-Verlag, New York", Year=1981)

	@Article(
Bae29,	Author="Baer, R.",
	Title="{Zur Einf\"uhrung des Scharbegriffs}",
	Journal="Crelle Journal", Volume=160, Pages="199--207", Year=1929)

	@Book(
Bar81,	Author="Barendregt, H.",
	Title="The Lambda Calculus: its Syntax and Semantics",
	Publisher="North-Holland", Address="Amsterdam", Year=1981)

	@Article(
Bar,	Author="Barney, C.",
	Title="Logic Designers Toss Out the Clock",
	Journal="Electronics", Volume=58, Number="49", Pages="42-45",
	Month=Dec, Year=1985)

	@Article(
Barr,	Author="Barr, M.",
	Title="Coequalizers and Free Triples",
	Journal="Math. Zeitschrift", Volume=116, Pages="307-322",
	Year=1970)

	@Book(
Bar79,	Author="Barr, M.",
	Title="{$*$-A}utonomous categories",
	Series=LNM, Volume=752, Publisher="Springer-Verlag", Year=1979)

	@Article(
Bar91a,	Author="Barr, M.",
	Title="{$*$-A}utonomous categories and linear logic",
	Journal="Math Structures in Comp. Sci.",
	Volume=1, Number=2, Pages="159-178", Year=1991)

	@Article(
Bar91b,	Author="Barr, M.",
	Title="Accessible categories and models of linear logic",
	Journal="J. Pure and Applied Algebra",
	Volume=69, Pages="219-232", Year=1990)

	@Article(
Bar96,	Author="Barr, M.",
	Title="Fuzzy models of linear logic",
	Journal="Mathematical Structures in Computer Science",
	Volume=6, Number=3, Pages="301-312", Year=1996)

	@Article(
Bar96b, Author = "M. Barr",
	Title = "The {Chu} construction",
	Journal="Theory and Applications of Categories", Pages="17-35",
	Volume=2, Number=2, Year=1996)

	@Article(
Bar99,	Author="Barr, M.",
	Title="$*$-Autonomous categories: once more around the track",
	Journal="Theory and Applications of Categories",
	Volume=6, Pages="5--24", Year=1999)

	@Book(
BW,	Author="Barr, M. and Wells, C.",
	Title="Toposes, Triples and Theories",
	Publisher="Springer-Verlag", Year=1985)

	@Book(
BW90,	Author="Barr, M. and Wells, C.",
	Title="Category Theory for Computing Science",
	Publisher="Prentice-Hall", Year=1990)

	@InCollection(
Bar92,	Author="Barwise, J.",
	Title="Constraints, Channels, and the Flow of Information",
	BookTitle="Situation theory and its applications",
	Volume=3, Note="To appear",
	Publisher="CSLI Lecture Notes",
	Editor="David Israel and Stanley Peters", Year=1992)

	@Book(
BS97,	Author="Barwise, J. and Seligman, J.",
	Title="Information Flow: The Logic of Distributed Systems",
	Publisher="Cambridge University Press", Year=1997)

	@Book(
Bas,	Author="Bastin, T.",
	Title="Quantum Theory and Beyond",
	Publisher="Cambridge University Press", Year=1971)

	@Article(
BCSW,	Author="Betti, R. and Carboni, A. and Street, R. and Walters, R.",
	Title="Variation Through Enrichment",
	Journal="J. Pure and Applied Algebra", 
	Volume=29, Pages="109-127", Year=1983,
	Comment="The proof of the cocompleteness of V-cat when V is
	cocomplete and the tensor preserves colimits; proved in a more
	general setting; contains references to other treatments")

	@InProceedings(
Ber,	Author="Berman, F.",
	Title="A Completeness Technique for {D}-axiomatizable Semantics",
	BookTitle="Proc. 11th Ann. ACM Symp. on Theory of Computing",
	Pages="160-166", Month=May, Year=1979)

	@Article(
Bet53,	Author="Beth, E.W.",
	Title="On {P}adoa's method in the theory of definition",
	Journal="Indagationes Mathematicae", Volume=15, Pages="330-339",
	Year=1953)

	@TechReport(
BFP,	Author="Best, E. and Fernandez, C. and {Pl\"unnecke}, H.",
	Title="Concurrent Systems and Processes, Final Report on the
		Foundational Part of the Project BEGRUND",
	Number="GMD-Studien Nr.104",
	Institution="GMD, Sankt Augustin, FDR", Month=Mar, Year=1985)

	@incollection(
BFSS,	Author="Bainbridge, E.S. and Freyd, P.J. and
	Scedrov, A. and Scott, P.J.",
	Title="Functorial Polymorphism",
	Booktitle="Logical Foundations of Functional Programming",
	Editor="G. Huet",
	Publisher="Addison-Wesley",
	Year="1989", note="To appear.")

	@InProceedings(
BG90,	Author="Brown, C. and Gurr, D.",
	Title="A Categorical Linear Framework for {Petri} Nets",
	BookTitle="Logic in Computer Science",
	Month="June", Year="1990", Editor="J. Mitchell",
	Pages="208--218", Publisher="IEEE Computer Society")

	@TechReport(
BGP,	Author="Brown, C. and Gurr, D. and {d}e Paiva, V.",
	Title="A Linear Specification Language for {Petri} Nets",
	Institution="Computer Science Department, Aarhus University",
	Number={DAIMI PB-363}, Month=Oct, Year=1991)

	@Article(
BHR,	Author="Brookes, S.D. and Hoare, C.A.R. and Roscoe, A.D.",
	Title="A Theory of Communicating Sequential Processes",
	Journal=JACM, Volume=31, Number=3, Pages="560-599", Year=1984)

	@Book(
Bir27,	Author="Birkhoff, G.D.",
	Title="Dynamical Systems", Publisher="American Math. Soc.",
	Series="Colloquium Publications", Volume=9, Year=1927)

	@Article(
Bir33,	Author="Birkhoff, G.",
	Title="On the combination of subalgebras",
	Journal="Proc. Cambridge Phil. Soc",
	Volume=29, Pages="441-464", Year=1933)

	@Article(
Birk35,	Author="Birkhoff, G.",
	Title="On the structure of abstract algebras",
	Journal="Proc. Cambridge Phil. Soc",
	Volume=31, Pages="433-454", Year=1935)

	@Article(
Birk37,	Author="Birkhoff, G.",
	Title="An Extended Arithmetic",
	Journal="Duke Mathematical Journal",
	Volume=3, Number=2, Month=Jun, Year=1937)

	@Article(
Birk42,	Author="Birkhoff, G.",
	Title="Generalized Arithmetic",
	Journal="Duke Mathematical Journal",
	Volume=9, Number=2, Month=Jun, Year=1942)

	@Book(
Birk48,	Author="Birkhoff, G.",
	Title="Lattice Theory",
	Publisher="A.M.S. Colloq. Publications", Volume=25, Year=1948)

	@Book(
Birk67,	Author="Birkhoff, G.",
	Title="Lattice Theory",
	Publisher="A.M.S. Colloq. Publications", Volume=25, Year=1967)

	@InProceedings(
BJ96,	Author="Buckland, R. and Johnson, M.",
	Title="ECHIDNA: A System for Manipulating Explicit Choice Higher
		Dimensional Automata",
	BookTitle="AMAST'96: Fifth Int. Conf. on Algebraic Methodology
		and Software Technology", Address="Munich", Year=1996)

	@Article(
BK84,	Author="Bergstra, J.A. and Klop, J.W.",
	Title="Process Algebra for Synchronous Communication",
	Journal="Information and Control", Volume=60, Pages="109-137",
	Year=1984)

	@InProceedings(
BG95,	Author="Blelloch, G. and Greiner, J.",
	Title="Parallelism in sequential functional languages",
	BookTitle="Proc. Symposium on Functional Programming and Computer
	    Architecture", Pages="226-237", Month=Jun, Year=1995) 

	@InProceedings(
BK89,	Author="Bergstra, J.A. and Klop, J.W.",
	Title="Process theory based on bisimulation semantics",
	BookTitle="Proc. REX School/Workshop on Linear Time, Branching
	Time and Partial Order in Logics and Models for Concurrency",
	Publisher="Springer-Verlag", Pages="50-122",
	Address="Noordwijkerhout, The Netherlands", Year=1989)

	@Book(
BPS,	Author="J.A. Bergstra and A. Ponse and S.A. Smolka (editors)",
	Title="Handbook of Process Algebra",
	Publisher="Elsevier (North-Holland)", Year=2000)

	@Article(
BS73,	Author="Black, F. and Scholes, M.",
	Title="The Pricing of Options and Corporate Liabilities",
	Journal="Journal of Political Economy", Pages="636-659", Year=1973)

	@Book(
Bla82,	Author="Blackett, Donald W.",
	Title="Elementary topology : a combinatorial and algebraic approach",
	Publisher="Academic Press", Year=1982)

	@Article(
Bla92,	Author="Andreas Blass",
	Title="A game semantics for linear logic",
	Journal="Annals of Pure and Applied Logic",
	Volume=56, Pages="183--220", Year=1992)

	@InProceedings(
Bla95,	Author="Andreas Blass",
	Title="A Category arising in Linear Logic, Complexity Theory, and
		Set Theory", BookTitle="Advances in Linear Logic",
	Pages="61--81", Editor="J.-Y. Girard and Y. Lafont and L. Regnier",
	Address="Ithaca, NY", Publisher="Cambridge University Press",
	Month=Jun, Year=1995)

	@Article(
Blu96,	Author="Blute, R. F.",
	Title="Hopf algebras and linear logic (with appendix by {M. Barr})",
	Journal="Mathematical Structures in Computer Science",
	Volume=6, Number=2, Pages="189-217",
	Publisher="Cambridge University Press", Month=Apr, Year=1996)

	@Article(
BL70,	Author="Birkhoff, G. and Lipson, J.D.",
	Title="Heterogeneous Algebras",
	Journal="J. of Combinatorial Theory", Volume=8, Pages="115-133",
	Year=1970)

	@TechReport(
BMOZ86,	Author="J.W. de Bakker, J.-J. Ch. Meyer, E.-R. Olderog and J.I. Zucker",
	Title="Transition Systems, Metric Spaces, and Ready Sets in the
		Semantics of Uniform Concurrency",
	Institution="Department of Computer Science, SUNY at Buffalo",
	Number={86-04}, Month=Feb, Year=1986)

	@Article(
BN36,	Author="Birkhoff, G. and von Neumann, J.",
	Title="The logic of quantum mechanics",
	Journal="Annals of Mathematics", Volume=37, Pages="823-843",
	Year=1936)

	@Book(
Boc,	Author="Boche{\'n}ski, I.M.",
	Title="A History of Formal Logic",
	Publisher="Chelsea Publishing Company", Address="New York, NY",
	Year=1961,
	Note="German edition 1956, translated and edited by I. Thomas")

	@Book(
Bol86,	Author="Bollobas, Bela",
	Title="Combinatorics : set systems, hypergraphs, families of
	vectors, and combinatorial probability",
	Publisher="Cambridge University Press", Year=1986)

	@Book(
Boo47,	Author="Boole, G.",
	Title="An Investigation of the Laws of Thought",
	Publisher="Macmillan", Address="London", Year=1854)

	@InProceedings(
Bou88,	Author="Boute, R. T." ,
	Title="On the shortcomings of the axiomatic approach
	as presently used in Computer Science",
	BookTitle="Compeuro 88 Systems Design: Concepts Methods, and Tools",
	Year=1988)

	@InProceedings(
BR,	Author="de Bakker, J.W. and de Roever, W.P.",
	Title="A calculus for recursive program schemes",
	BookTitle="Automata, Languages and Programming",
	Editor="M. Nivat", Pages="167-196",
	Publisher="North Holland", Year=1972)

	@Article(
Bri81,	Author="Brink, C.",
	Title="Boolean Modules",
	Journal="J. of Algebra", Volume=71, Pages="291-313",
	Year=1981)

	@InProceedings(
Bro83,	Author="Brookes, S.D.",
	Title="On the Relationship betweeen {CCS} and {CSP}",
	BookTitle="Proc. 10th ICALP", Series=LNCS, Volume=154, Pages="83-96",
	Publisher="Springer-Verlag", Year=1983)

	@PhDThesis(
Bro83a,	Author="Stephen D. Brookes",
	Title="A Model for Communicating Sequential Processes",
	type="{D. Phil.} thesis",
	school="University College, Oxford University",
	year=1983,
	note="Also available as Carnegie Mellon University Computer Science
		Department technical report CMU-CS-83-149")

	@Book(
Bro88,	Author="Brown, R.",
	Title="Topology: {A} geometric account of general topology,
	homotopy types and the fundamental groupoid",
	Publisher="Halsted Press", Address="New York",
	Year=1988)

	@Proceedings(
Bro85,	editor="Manfred Broy",
	Title="Control Flow and Data Flow: Concepts of Distributed 
		Programming",
	bookTitle="Control Flow and Data Flow: Concepts of Distributed 
		Programming",
	series="NATO Advanced Science Institute Series F",
	volume=14, publisher="Springer-Verlag", year=1985)

	@Article(
BS96a,	Author="Blute, R.F. and Scott, P.J.",
	Title="Linear {L\"a}uchli semantics",
	Journal="Annals of Pure and Applied Logic",
	Volume=77, Pages="101-142", Year=1996)

	@Article(
BS96b,	Author="Blute, R.F. and Scott, P.J.",
	Title="The shuffle {Hopf} algebra and noncommutative full
		completeness",
	Journal="Submitted to J. Symbolic Logic", Year=1996)

	@InCollection(
Buc96,	Author="R. Buckland",
	Title="Choice as a first class citizen",
	BookTitle="Intensional Programming I, eds M.A.~Orgun and E.A.~Ashcroft",
	Publisher="World-Scientific Publishing Company, Singapore",
	Year="1996")

	@Article(
Bug91,	Author="Slawomir Bugajski",
	Title="Nonlinear Quantum Mechanics is a Classical Theory",
	Journal="Int. J. Theor. Phys.",
	Pages="961-971", Volume=30, Year=1991)

	@Book(
Bur86,	Author="Burmeister, P.",
	Title="A Model Theoretic Oriented Approach to Partial Algebras",
	Series="Mathematical Research 31", Publisher="Akademie-Verlag",
	Address="Berlin", Year=1986)

	@Book(
BS81,	Author="Burris, S. and Sankappanavar, H.P.",
	Title="A Course in Universal Algebra",
	Publisher="Springer-Verlag", year=1981)

	@InProceedings(
BS08,	Author="Bodenreider, O.",
	Title="Ontologies and data integration in biomedicine: Success
	stories and challenging issues",
	BookTitle="Proceedings of the Fifth International Workshop on Data
	Integration in the Life Sciences (DILS 2008)",
	Address="Berlin Heidelberg New York", Publisher="Springer-Verlag",
	Year=2008)

	@InProceedings(
BG,	Author="Baeten, J. and van Glabbeek, R.",
	Title="Another look at abstraction in process algebra",
	BookTitle="Proc. ICALP'87",
	Series=LNCS, Volume=267, Publisher="Springer-Verlag",
	Pages="84-94", Year=1987)

	@Article(
BV92,	Author="J.C.M. Baeten and F.W.  Vaandrager",
	Title="An algebra for process creation",
	Journal=ACTA, Volume=29, Number=4, Pages="303--334", Year=1992)

	@Book(
BW90b,	Author="Baeten, J.C.M. and Weijland, W.P.",
	Title="Process Algebra",
	Publisher="Cambridge University Press", Year=1990)

	@Book(
CM,	Author={K. Mani Chandy and Jayadev Misra},
	Title={Parallel Program Design : a Foundation},
	Publisher="Addison-Wesley",
	Address="Reading, Mass.", Year=1988)

	@InProceedings(
CCMP0,	Author="Casley, R.T and Crew, R.F. and Meseguer, J. and Pratt, V.R.",
	Title="Temporal Structures",
	BookTitle="Proc. Conf. on Category Theory and Computer Science",
	Series=LNCS, Volume=389, Pages="21-51", Publisher="Springer-Verlag",
	Address="Manchester", Month=Sep, Year=1989)

	@Article(
CCMP,	Author="Casley, R.T and Crew, R.F. and Meseguer, J. and Pratt, V.R.",
	Title="Temporal Structures",
	Journal="Math. Structures in Comp. Sci.",
	Volume=1, Number=2, Pages="179-213", Month=Jul, Year=1991)

	@Book(
Car56,	Author="Carnap, R.",
	Title="Meaning and Necessity: A Study in Semantics and Modal Logic",
	Publisher="The University of Chicago Press",
	Note="Expansion of 1947 edition", Year=1956)

	@InProceedings(
Car80,	Author="Cardelli, L.",
	Title="???",
	BookTitle="Proc. 9th Symposium on Mathematical Foundations of
	Computer Science", Series=LNCS, Volume=88,
	Address="Rydzyna, Poland", Year=1980)

	@PhDThesis(
Cas91,	Author="Ross Casley", 
	Title="On the Specification of Concurrent Systems",
	School="Stanford University", Month=Jan, Year=1991)

	@Article(
CDP,	Author="Castellano, L. and {De Michelis}, G. and Pomello, L.",
	Title="Concurrency vs interleaving: an instructive example",
	Journal="Bulletin of the EATCS", Volume=31, Month=Feb,
	Pages="12-15", Year=1987)

	@Article(
CG,	Author="Clark, Keith and Gregory, Steve",
	Title="PARLOG: parallel programming in logic",
	Journal="ACM Trans. on Programming Languages and Systems",
	Volume=8, Number=1, Month=Jan, Pages="1-49", Year=1986)

	@Article(
CH82,	Author="Chandra, A. and Harel, D.",
	Title="Structure and Complexity of Relational Queries",
	Journal=JCSS, Volume=25, Year=1982, Pages="99-128")

	@Book(
CK73,	Author="Chang, C.C. and Keisler, H.J.",
	Title="Model Theory", Publisher="North-Holland",
	Address="Amsterdam", Year=1973)

	@Book(
Chi70,	Author="Chiari, J.",
	Title="The Necessity of Being",
	Publisher="Gordian Press, NY", Year=1970)

	@Article(
Chu32,	Author="Church, A.",
	Title="A set of postulates for the foundation of logic",
	Journal="Annals of Math. (2)", Volume=33, Pages="346-366", Year=1932)

	@Book(
Chu41,	Author="Church, A.",
	Title="The Calculi of Lambda Conversion",
	Publisher="Princeton Univ. Press", Year="1941")

	@Misc(
Chu79,	Author="Chu, Po-Hsiang",
	Title="Constructing $\ast$-autonomous categories.",
	Year="1979", note="Appendix to \cite{Bar79}")

	@Article(
CS,	Author="Cockett, J.R.B. and Seely, R.A.G.",
	Title="Weakly Distributive Categories",
	Journal="Journal of Pure and Applied Algebra",
	Volume=114, Number=2, Year=1997,
	pages="133-173")

	@InProceedings(
CS87,	Author="Constable, R.L. and Smith, S.F.",
	Title="Partial Objects in Constructive Type Theory",
	BookTitle="Proc. 2nd Annual IEEE Symp. on Logic in Computer Science",
	Address="Ithaca, NY", Pages="183-193", Month=Jun, Year=1987)

	@TechReport(
CMZ,	Author="Cori, R. and M{\'e}tivier, Y. and Zielonka, W.",
	Title="Applications of trace approximation to asynchronous
	automata and message passing with bounded time-stamps
	in asynchronous networks",
	Institution="Univ. Bordeaux", Type="Tech. Rep.", Year="1990")

	@Article(
CT51,	Author="Chin, L.H. and Tarski, A.",
	Title="Distributive and modular laws in the arithmetic of
	relation algebras", Journal="Univ. Calif. Publ. Math.",
	Volume=1, Pages="341-384", Year=1951)

	@Article(
CMMP,	Author="Coe, T. and Mathisen, T. and Moler, C. and Pratt, V.",
	Title="Computational aspects of the {Pentium} affair",
	Journal="IEEE J. Computational Sci. and Eng.",
	Month=Mar, Year=1995)

	@Book(
Coh65,	Author="Cohn, P.M.",
	Title="Universal Algebra", Publisher="Harper and Row",
	Address="New York", Year=1965)

	@Book(
Coh66,	Author="Cohen, P.J.",
	Title="Set Theory and the Continuum Hypothesis",
	Publisher="W. A. Benjamin Inc.",
	Address="New York, Amsterdam", Year=1966)

	@InProceedings(
Con77,	Author="Constable, R.L.",
	Title="On the Theory of Programming Logics",
	BookTitle="Proc. 9th Annual ACM Symp. on Theory of Computing",
	Pages="269-285", Address="Boulder, Col.", Month=May, Year=1977)

	@Book(
Con,	Author="Conway, J.H.",
	Title="Regular Algebra and Finite Machines",
	Publisher="Chapman and Hall",
	Address="London", Year=1971)

	@Book(
Cor34,	Author="Corral, J.I.",
	Title="Brigadas de sustitutiones. Primera parte",
	Publisher="Habana", Year=1934)

	@Book(
Cor35,	Author="Corral, J.I.",
	Title="Brigadas de sustitutiones. Parte sequnda",
	Publisher="Toledo", Year=1935)

	@Article(
Cra86,	Author="Cramer, J.G.",
	Title="The Transactional Interpretation of Quantum Mechanics",
	Journal="Reviews of Modern Physics",
	Pages="647-687", Year=1986)

	@InProceedings(
Cre89,	Author="Crew, R.F.",
	Title="Parametrized Process Categories",
	BookTitle="Proc. First International Conference on Algebraic
		Methodology and Software Technology",
	Pages="39-42", Address="Iowa City", Month=May, Year=1989)

	@PhDThesis(
Cre91,	Author="Crew, R.F.", 
	Title="Metric Process Models",
	School="Stanford University", Month=Dec, Year=1991)

	@InProceedings(
Cri95,	Author="Cridlig, R.",
	Title="Semantic Analysis of Shared-Memory Concurrent Languages
		using Abstract Model-Checking", BookTitle="Proc. of PEPM'95",
	Publisher="ACM Press", Address="La Jolla", Month=Jun, Year=1995)

	@InProceedings(
Cri96,	Author="Cridlig, R.",
	Title="Semantic Analysis of Concurrent ML by Abstract Model-Checking",
	BookTitle="Proceedings of the LOMAPS Workshop",
	Year=1996)

	@Article(
Cur30,	Author="Curry, H.B.",
	Title="Grundlagen der kombinatorischen Logik",
	Journal="American Journal of Mathematics", Volume=52,
	Pages="509-536, 789-834", Year=1930)

	@Article(
CG82,	Author="N.J. Cutland and P.F. Gibbins",
	Title="A regular sequent calculus for quantum logic in which
		AND and OR are dual",
	Journal="Logique et Analyse", Volume=25, Pages="221-248", Year=1982)

	@article(
DR,	Author="Danos, V. and L. Regnier",
	Title="The Structure of Multiplicatives",
	Journal="Archive for Mathematical Logic",
	Volume=28,
	Year="1989",
	pages="181-203")

	@InProceedings(
Day,	Author="Day, B.",
	Title="On Closed Categories of Functors",
	BookTitle="Reports of the Midwest Category Seminar IV",
	Series=LNM, Volume=137, Publisher="Springer-Verlag", Year=1970)

	@InCollection(
Dch86,	Author="{Dalla Chiara}, M.L.",
	Title="Quantum Logic",
	BookTitle="Handbook of Philosophical Logic",
	Volume="III", Editor="D. Gabbay and F. Guenthner", Pages="427-469",
	Publisher="Reidel", Address="Dordrecht", Year=1986)

	@InCollection(
Deh26,	Author="Dehn, M.",
	Title={Die Grundlegung der Geometrie in historischer Entwicklung},
	Note="Appendix to \cite{PD26}", Year=1926)

	@Article(
De88,	Author="R. Devillers",
	Title="On the definition of a bisimulation notion based on partial wo\rds",
	Year=1988, Publisher={Gesellschaft f\"{u}r Informatik, Bonn},
	Journal="Petri Net Newsletter",pages={16--19}, volume=29)

	@Book(
Den91,	Author="Dennett, D.C.",
	Title="Consciousness Explained",
	Publisher="Little, Brown, and Company", Year=1991)

	@Book(
Ded01,	Author="Dedekind, R.",
	Title="Essays on the Theory of Numbers",
	Note="Translation by W.W. Beman of {\it {S}tetigkeit und
	irrationale {Z}ahlen} (1872) and {\it {W}as sind und was sollen die
	{Z}ahlen?} (1888), reprinted 1963 by Dover Press",
	Publisher="Open Court Publishing Company", Year=1901)

	@article(
DDM,	Author="P. Degano and De Nicola, R. and U. Montanari",
	Title="A Distributed Operational Semantics for {CCS} Based on
		Condition/Event Systems", Journal=ACTA,
	Volume=26, Number={1/2}, Pages={59--91}, Month=Oct, Year=1988)

	@InProceedings(
DHPP,	Author="Devarajan, H. and Hughes, D. and Plotkin, G. and Pratt, V.",
	Title="Full completeness of the multiplicative linear logic of
		{Chu} spaces",
	BookTitle="Proc. 14th Annual IEEE Symp. on Logic in Computer Science",
	Pages="234-243", Address="Trento, Italy", Month=Jul, Year=1999)
 
	@TechReport(
DMM90,	Author="Pierpaolo Degano and Jos{\'e} Meseguer and Ugo Montanari",
	Title="Axiomatizing the Algebra of Net Computation and Processes",
	institution="Computer Science Laboratory, SRI International",
	number="SRI-CSL-90-12",
	month=nov, year=1990)

	@Article(
DM41,	Author="Dushnik, B. and Miller, E.W.",
	Title="Partially Ordered Sets",
	Journal="Amer. J.  Math.", Volume=63, Pages="600-610", Year=1941)

	@InProceedings(
DM,	Author="Degano, P. and Montanari, U.",
	Title="Liveness Properties as Convergence in Metric Spaces",
	BookTitle="Proc. 16th ACM Symp. on Theory of Computation",
	Pages="31-38", Year=1984)

	@InProceedings(
DM85b,	Author="Pierpaolo Degano and Ugo Montanari",
	Title="Distributed Systems, Partial Orderings of Events and Event 
		Structures", 
	crossref="Bro85", 
	pages="7-106")

	@Article(
DM87,	Author="Pierpaolo Degano and Ugo Montanari",
	Title="Concurrent Histories: A Basis for Observing Distributed 
		Systems",
	journal=JCSS, volume=34, number="2/3", pages="422-461",
	month="April/June", year=1987)

	@InProceedings(
DNM,	Author="Degano, P. and {De Nicola}, R. and Montanari, U.",
	Title="Observational Equivalences for Concurrency Models",
	BookTitle="Formal Description of Programming Concepts: {III}",
	Editor="M. Wirsing", Publisher="Elsevier", Pages="105-129",
	Year=1987)

	@Article(
DeM58,	Author="De Morgan, A.",
	Title="On the Syllogism, no. {III}, and on logic in general",
	Year=1858)

	@Article(
DeM,	Author="De Morgan, A.",
	Title="On the Syllogism, no. {IV}, and on the logic of relations",
	Journal="Trans. Cambridge Phil. Soc.", Volume=10,
	Pages="331-358", Year=1860)

	@Book(
DeM66,	
	Title="On the Syllogism, and Other Logical Writings",
	Editor="Peter Heath",
	Publisher="Routledge and Kegan Paul", Year=1966)

	@Book(
Denv,	Author="Denvir, T. and Harwood, W. and Jackson, M. and Ray, M.",
	Title="The Analysis of Concurrent Systems: A Tutorial and Workshop",
		Series=LNCS, Volume=207,
	Publisher="Springer-Verlag", Year=1985)

	@Book(
Dij76,	Author="Dijkstra, E.W.",
	Title="A Discipline of Programming",
	Publisher="Prentice-Hall", Address="Englewood Cliffs, N.J.", Year=1976)

	@Article(
Dil39,	Author="Dilworth, R.P.",
	Title="Noncommutative residuated lattices", Journal="Trans. AMS",
	Volume=46, Pages="426-444", Year=1939)

	@Article(
Dor28,	Author="D{\"o}rnte, W.",
	Title="Untersuchungen {\"u}ber einen verallgemeinterten
	{G}ruppenbegriff", Journal="Math. Zeitschr.", Volume=29, Pages="1--19",
	Year=1928)

	@Book(
DP,	Author="B. A. Davey and H. A. Priestley",
	Title="Introduction to Lattices and Order",
	Publisher="Cambridge University Press",
	Year=1990)

	@Misc(
DP99,	Author="B. A. Davey and H. A. Priestley",
	Title="Partition-induced Natural Dualities for Varieties of
		Pseudocomplemented Distributive Lattices")

	@Article(
DP87,	Author="B. A. Davey and H. A. Priestley",
	Title="Generalized Piggyback Dualities and Applications to
	{O}ckham Algebras", Journal="Houston J. of Mathematics",
	Volume=13, Number=2, Pages="151-198", Year=1987)

	@Article(
Dro89a,	Author="Droste, M.",
	Title="Event Structures and Domains", Journal=TCS,
	Volume=68, Pages="37-47", Year=1989)

	@Article(
Dro89b,	Author="Droste, M.",
	Title="Recursive Domain Equations for Concrete Data Structures",
	Journal=IANDCOMP, Volume=82, Number=1, Pages="65-80",
	Month=Jul, Year=1989)

	@Article(
Dro91,	Author="Droste, M.",
	Title="Universal Homogeneous Event Structures and Domains",
	Journal=IANDCOMP, Volume=94, Number=1, Pages="48-61",
	Month=Sep, Year=1991)

	@Article(
DG94,	Author="Manfred Droste and R{\"u}diger G{\"o}bel",
	Title="Nondeterministic information systems and their domains",
	Journal=TCS, Year=1994)

	@InProceedings(
DW,	Author="C. Dwork and O. Waarts",
	Title="Simple and Efficient Bounded Concurrent
	Timestamping, or Bounded Concurrent Timestamp Systems are
	Comprehensible!",
	BookTitle="Proc. 24th Annual ACM Symposium on Theory of Computing
	(STOC)", Pages="655-666", Year=1992) 

	@InProceedings(
DHPW,	Author="C. Dwork and M. Herlihy and S. Plotkin and O. Waarts",
	Title="Time-Lapse Snapshots",
	BookTitle="Israel Symposium on Theory of Computing and Systems",
	Year=1992)

	@InProceedings(
DHW,	Author="C. Dwork and J. Y. Halpern and O. Waarts",
	Title="Performing Work Efficiently in the Presence of Faults",
	BookTitle="Proc. 11th Annual ACM Symposium on
	Principles of Distriuted Computing (PODC)", Month=Aug, Year=1992)

	@Article(
Dubuc,	Author="Dubuc, E.",
	Title="Free Monoids",
	Journal="J. of Algebra", Volume=29, Pages="208-228",
	Year=1974)

	@PhDThesis(
Dun66,	Author="Dunn, J.M.",
	Title="The Algebra of Intensional Logics",
	School="Univ. of Pittsburgh", Year=1966)

	@InCollection(
Dun86,	Author="Dunn, J.M.",
	Title="Relevant Logic and Entailment",
	BookTitle="Handbook of Philosophical Logic",
	Volume="III", Editor="D. Gabbay and F. Guenthner", Pages="117-224",
	Publisher="Reidel", Address="Dordrecht", Year=1986)

	@Book(
DWG73,	Author="De{W}itt, B.S. and Graham, N.",
	Title="The Many-Worlds Interpretation of Quantum Mechanics",
	Publisher="Princeton Univ. Press",
	Year=1973)

	@Article(
DW80,	Author="D{\"o}rfler, W. and Waller, D.A.",
	Title="A category-theoretical approach to hypergraphs",
	Journal="Archives of Mathematics", Volume=34, Number=2,
	Pages="185-192", Year=1980)

	@Article(
EH,	Author="Eckman, B. and Hilton, P.J.",
	Title="The equivalence of crossed complexes and
	$\infty$-groupoids",
	Journal="Cahiers Topologie G\'eom. Diff\'erential", Volume=22,
	Pages="371-386", Year=1981)

	@Article(
EPR81,	Author="Ehrenfeucht, A. and Parikh, R. and Rozenberg, G.",
	Title="Pumping Lemmas for Regular Sets",
	JournaL="SIAM Journal on Computing",
	Volume=10, Number=3, Pages="536--541", Year="1981")

	@Article(
Ehr63,	Author="Ehresmann, C.",
	Title="Categories structurees",
	Journal="{Ann. Sci. \'Ecole Norm. Sup.}",
	Volume=80, Year=1963, Pages="349-425")

	@InProceedings(
EK66a,	Author="S. Eilenberg and G.M. Kelly",
	Title="Closed Categories",
	Pages="421-562", Editor="S. Eilenberg and D. K. Harrison and
	S. MacLane and H. R{\"o}hrl", BookTitle="Proceedings of the
	Conference on Categorical Algebra, La Jolla, 1965",
	Publisher="Springer-Verlag", Year=1965)

	@InCollection(
Ekl77,	Author="Eklof, P.C.",
	Title="Ultraproducts for Algebraists",
	BookTitle="Handbook of Mathematical Logic",
	Publisher="North Holland", Pages="105-137", Year=1977)

	@Article(
EM42a,	Author="Eilenberg, S. and Mac~Lane, S.",
	Title="Group extensions and homology",
	Journal="Ann. Math.", Volume=43, Pages="757--831", Year=1942)

	@Article(
EM42b,	Author="Eilenberg, S. and Mac~Lane, S.",
	Title="Natural isomorphism in group theory",
	Journal="Proc. Nat. Acad. Soc.", Volume=28,
	Pages="537--543", Year=1942)

	@Article(
EM45,	Author="Eilenberg, S. and Mac~Lane, S.",
	Title="General theory of natural equivalences",
	Journal="Trans. Am. Math. Soc.", Volume=58,
	Pages="231--294", Year=1942)

	@Article(
Eng67,	Author="Engeler, E.",
	Title="Algorithmic properties of structures",
	Journal="Math. Sys. Thy.",
	Volume=1, Pages="183-195", Year=1967)

	@Book(
Euc,	Author="Euclid",
	Title="Elements of Geometry",
	Year="300 BC")

	@InProceedings(
EW93,	Author="Uffe Engberg and Glynn Winskel",
	Title="Completeness results for linear logic on petri nets",
	BookTitle="MFCS'93, Gda{\'n}sk", Address=Poland, Year=1993)
	Series=LNCS, Volume=711,
	Note="Full version GMD DAIMI PB, January 1993")

	@Book(
FB94,	Author="Floyd, R.W. and Beigel, R.",
	Title="The Language of Machines",
	Publisher="Freeman", Year=1994)

	@Book(
Fey64,	Author="Feynman, R.B. and Leighton, R.B. and Sands, M.",
	Title="Lectures on Physics",
	Publisher="Addison-Wesley", Year=1964)

	@InProceedings(
FGR98,	Author="Fajstrup, L. and Goubault, E. and Raussen, M.",
	Title="Detecting Deadlocks in Concurrent Systems",
	BookTitle="Proc. of CONCUR'98", Series=LNCS,
	Pages="332-347", Volume=1466, Publisher="Springer-Verlag", Year=1998)

	@InProceedings(
FKL,	Author="Feigenbaum, J. and Kahn, J. and Lund, C.",
	Title="Complexity Results for POMSET Languages",
	BookTitle="Proc. 3rd Int.  Conference on Computer-aided
	Verification", Series=LNCS, Volume=575, Address="Aalborg, Denmark",
	Pages="429-440",
	Month=Jul, Year=1991, Publisher="Springer-Verlag",
	Comment="Journal v: SIAM J. on Discrete Math., 6:2, 1993")

	@Book(
FH65,	Author="Feynman, R.P. and Hibbs, A.R.",
	Title="Quantum Mechanics and Path Integrals",
	Publisher="McGraw-Hill", Year=1965)

	@Article(
Fin70,	Author="Finch, P.D.",
	Title="Quantum logic as an implication algebra",
	Journal="Bull. Aust. Math. Soc.",
	Volume=1, Pages="101-106", Year=1970)

	@Book(
FB94,	Author="Floyd, R.W. and Beigel, R.",
	Title="The Language of Machines",
	Publisher="Freeman", Year=1994)

	@Unpublished(
Fio01,	Author="Fiore, M.",
	Title="Rough notes on presheaves",
	Note="Available as http://www.cl.cam.ac.uk/~mpf23/Notes/psh.pdf",
	Year=2001)

	@Book(
Fey64,	Author="Feynman, R.B. and Leighton, R.B. and Sands, M.",
	Title="Lectures on Physics",
	Publisher="Addison-Wesley", Year=1964)

	@Article(
Flo62,	Author="Floyd, R.W.",
	Title="Algorithm 97: shortest path", Journal=CACM, Volume=5,
	Number=6, Pages=345, Year=1962)

	@InProceedings(
Flo,	Author="Floyd, R.W.",
	Title="Assigning Meanings to Programs",
	pages="19-32",
	bookTitle="Mathematical Aspects of Computer Science",
	editor="Schwartz, J.T", year=1967)

	@Book(
For27,	Author="Forder, H.G.",
	Title="The Foundations of Euclidean Geometry",
	Publisher="Cambridge University Press", Year=1927)

	@InProceedings(
FL77,	Author="Fischer, M.J and Ladner, R.E.",
	Title="Propositional Modal Logic of Programs",
	BookTitle="Proc. 9th ACM Symposium on Theory of Computing",
	Address="Boulder", Month=May, Pages="194-211", Year=1977,
	Note="Journal version: Propositional dynamic logic of regular
	programs, JCSS 18:2 (1979)")

	@Article(
FL,	Author="Fischer, M.J and Ladner, R.E.",
	Title="Propositional dynamic logic of regular programs",
	Journal="JCSS", Volume=18, Number=2, Year=1979)

	@Book(
Fra,	Author="Francez, N.",
	Title="Fairness", Publisher="Springer-Verlag", Year=1986)

	@Article(
Fra78,	Author="Fraser, G. A.",
	Title="The Tensor Product of Semilattices",
	Journal="Algebra Universalis", Volume=8, Pages="1-3", Year=1978)

	@Book(
Fre,	Author="Frege, G.",
	Title="Begriffsschrift, eine der arithmetischen nachgebildete
	{F}ormelsprache des reinen {D}enkens",
	Publisher="Halle", Year=1879)

	@Book(
Fre64,  Author="Freyd, P.J.",
	Title="Abelian categories: {A}n introduction to the theory of functors",
	Publisher="Harper and Row", Year=1964)

	@Article(
FK72,	Author="P. Freyd and G. M. Kelly",
	Title="Categories of Continuous Functors {I}",
	journal="Journal of Pure and Applied Algebra",
	volume=2, number=3,year=1972,
	pages="169-191")

	@InProceedings(
FR96,	Author="Fajstrup, L. and Raussen, M.",
	Title="Detecting Deadlocks in Concurrent Systems",
	BookTitle="submitted to FST-TCS'96",
	Year=1996)

	@Book(
FS,	Author="Freyd, P.J. and Scedrov, A.",
	Title="Categories, Allegories",
	Publisher="North Holland", Year=1990)

	@Book(
Fuc63,	Author="Fuchs, L.",
	Title="Partially Ordered Algebraic Systems",
	Publisher="Pergamon Press", Year=1963)

	@InProceedings(
Ga89,	Author="Gaifman, H.",
	Title="Modeling Concurrency by Partial Orders and Nonlinear
	Transition Systems",
	BookTitle="Proc. REX School/Workshop on Linear Time, Branching
	Time and Partial Order in Logics and Models for Concurrency",
	Publisher="Springer-Verlag", Pages="467-488",
	Address="Noordwijkerhout, The Netherlands", Year=1989)

	@Article(
Gai64,	Author="Gaifman, H.",
	Title="Infinite Boolean polynomials, I", Journal="Fund. Math.",
	Volume=54, Pages="229-250", Year=1964)

	@Article(
Gau96,	Author="Gaucher, P.",
	Title="A cohomological condition for ensuring security in
	interacting computer systems (??)",
	Journal="to be written",
	Year=1996)

	@InProceedings(
GC93,	Author="Goubault, E. and Cridlig, R.",
	Title="Semantics and Analysis of {L}inda-based Languages",
	BookTitle="Proc. 3rd Int. Workshop on Static Analysis",
	Series=LNCS, Volume=724, Publisher="Springer-Verlag",
	Pages="72-86", Address="Padova", Year=1993)

	@PhDThesis(
Geh90,	Author="Gehlot, V.",
	Title="A Proof-Theoretic Approach to Semantics of Concurrency",
	School="University of Pennsylvania", Year="1990")

	@InCollection(
Gen34,	Author="Gentzen, G.",
	Title="Investigations into logical deductions",
	BookTitle="The Collected Papers of Gerhard Gentzen",
	Editor="Szabo, M.E.", Publisher="North-Holland",
	Address="Amsterdam", Pages="68--131", Year=1934)

	@inproceedings(
GG89,	Author="C. A. Gunter and V. Gehlot",
	Title="Nets as tensor theories. (Preliminary Report)",
	bookTitle="Applications of {Petri} Nets", year="1989",
	editor="G. De Michelis", pages="174--191",
	note="Also University of Pennsylvania, Logic and
	Computation Report Number 17.")

	@InProceedings(
GG90,	Author="V. Gehlot and C. A. Gunter",
	Title="Normal Process Representatives",
	BookTitle="Logic in Computer Science",
	Month="June", Year="1990", Editor="J. Mitchell",
	Pages="200--207", Publisher="IEEE Computer Society")

	@InProceedings(
GG89a,	Author="Glabbeek, R.J. van  and Goltz, U.",
	Title="Equivalence Notions for Concurrent Systems and Refinement
	of Actions",
	BookTitle="Proc. Conf. on Mathematical Foundations of Computer Science",
	Series=LNCS, Volume=379, Pages="237-248", Publisher="Springer-Verlag",
	Editor="A. Kreczmar and G. Mirkowska", Year=1989)

	@Article(
GG89b,	Author="van Glabbeek, R. and Goltz, U.",
	Title="Partial Order Semantics for Refinement of Actions---neither
	necessary nor always sufficient but appropriate when used with
	care",
	Journal="Bulletin of the EATCS", Volume=38, Month=Jun,
	Pages="154-163", Year=1989)

	@InProceedings(
vGP,	Author="van Glabbeek, R. and Plotkin, G.",
	Title="Configuration Structures",
	BookTitle="Logic in Computer Science", Pages="199-209",
	Month="June", Publisher="IEEE Computer Society", Year="1995")

	@book(
GJ,	Author="Garey, M.R. and D.S. Johnson",
	key="Garey and Johnson",
	Title="Computers and Intractability: A Guide to the 
	Theory of NP-Completeness",
	Publisher="W.H. Freeman and Co.",year="1979")	

	@InProceedings(
GJ92,	Author="Goubault, E. and Jensen, T.P.",
	Title="Homology of Higher Dimensional Automata",
	BookTitle="Proc. of CONCUR'92", Series=LNCS, Volume=630,
	Publisher="Springer-Verlag", Pages="254-268",
	Address="Stonybrook, New York", Month=Aug, Year=1992)

	@Article(
Got60,	Author="E. Goto{\ \em et\ al}",
	Title="Esaki Diode High Speed Logical Circuits",
	Journal="IRE Trans. Elec. Comp.",
	Volume="EC-9", Pages="25-29", Year=1960)

	@Article(
GS,	Author="S. Ginsburg and E.H. Spanier",
	Title="Mappings of languages by two-tape devices",
	Journal=JACM, Volume=12, Pages="423-434",
	Comment="Introduces shuffle operator", Year=1965)

	@Book(
Gie80,	Author="Gierz, G. and Hofmann, K.H. and Keimel, K. and Lawson, J.
	and Mislove, M. and Scott, D.",
	Title="A Compendium of Continuous Lattices",
	Publisher="Springer-Verlag", Year=1980)

	@InProceedings(
Gir86,	Author="Girard, J.-Y.",
	Title="Linear Logic and Parallelism",
	BookTitle="Proc. School on Semantics of Parallelism, IAC",
	Address="CNR, Rome", Year=1986)

	@Article(
Gir87,	Author="Girard, J.-Y.",
	Title="Linear Logic", Journal="Theoretical Computer Science",
	Pages="1-102", Volume=50, year=1987)

	@InProceedings(
Gir88,	Author="Girard, J.-Y.",
	Title="Towards a Geometry of Interaction",
	BookTitle="Categories in Computer Science and Logic",
	Address="held June 1987, Boulder, Colorado", Pages="69-108",
	Series="Contemporary Mathematics", Volume=92, Year=1989)

	@PhDThesis(
Gis,	Author="Gischer, J.L.",
	Title="Partial Orders and the Axiomatic Theory of Shuffle",
	School="Computer Science Dept., Stanford University",
	Month=Dec, Year=1984)

	@Article(
Gis88,	Author="Gischer, J.L.",
	Title="The equational theory of pomsets",
	Journal="Theoretical Computer Science",
	Volume=61, Year=1988, Pages="199-224")

	@PhDThesis(
Gla90a,	Author="van Glabbeek, R.",
	Title="Comparative Concurrency Semantics and Refinement
	of Actions",
	School="Vrije Universiteit te Amsterdam",
	Publisher="Centrum voor Wiskunde en Informatica",
	Month=May, Year=1990)

	@Unpublished(
Gla91,	Author="van Glabbeek, R.",
	Title="Bisimulations for higher dimensional automata",
	Note="Manuscript available as
	  {\small\tt http://theory.stanford.edu/\~{}rvg/hda}", Month=Jun, Year=1991)

	@Book(
GLT,	Author="Girard, J.-Y. and Y. Lafont and P. Taylor",
	Title="Proofs and Types",
	Publisher="Cambridge Tracts in Theoretical Computer Science,
	Cambridge University Press",
	Year="1989")

	@InProceedings(
GN95,	Author="Gay, S. and Nagarajan, R.",
	Title="A Typed Calculus of Synchronous Processes",
	BookTitle="Logic in Computer Science", Pages="210-220",
	Month="June", Publisher="IEEE Computer Society", Year="1995")

	@Article(
God33,	Author="G{\"o}del, K.",
	Title="Eine Interpretation des intuitionistischen Aussagenkalkuls",
	Journal="Ergebnisse eines Mathematischen Kolloquiums.",
	Volume=4, Pages="39-40", Year=1933)

	@Book(
God40,	Author="G{\"o}del, K.",
	Title="The Consistency of the Continuum Hypothesis",
	Series="Annals of Math. Studies", Number=3,
	Publisher="Princeton University Press", Year=1940)

	@InProceedings(
Gog71,	Author="Goguen, J.A.",
	Title="Systems and Minimal Realization",
	BookTitle="Proc. 1971 IEEE Conf. on Decision and Control",
	Address="Miami Beach, Fla.", Pages="42-46", Year=1972)

	@Article(
Gog03,	Author="Gogberashvili, M.",
	Title="Observable Algebra",
	Journal="Archive HEP-TH", Volume=3, Number="0212251", Year=2003)

	@Article(
Gol74,	Author="Robert Goldblatt",
	Title="Semantic Analysis of Orthologic",
	Journal="J. Philosophical Logic", Volume=3, Pages="19-35", Year=1974)

	@Article(
Gol84,	Author="Robert Goldblatt",
	Title="Orthomodularity is not elementary",
	Journal="J. Symbolic Logic", Volume=49, Pages="401-404", Year=1984)

	@Book(
Gol83,	Author="Robert Goldblatt",
	Title="Topoi:  The Categorial Analysis of Logic",
	Publisher="North-Holland",
	Series="Studies in Logic and the Foundations of Mathematics Vol~98",
	Edition="Revised", Year=1983)

	@Book(
Got89,	Author="Gottfried, K.",
	Title="Quantum Mechanics",
	Publisher="Addison-Wesley", Year=1989)

	@InProceedings(
Gou93,	Author="Goubault, E.",
	Title="Homology of Higher-Dimensional Automata",
	BookTitle="Proc. of CONCUR'93", Series=LNCS, Volume=630,
	Publisher="Springer-Verlag", Pages="254-268",
	Address="Stonybrook, New York", Month=Aug, Year=1993)

	@InProceedings(
Gou95a,	Author="Goubault, E.",
	Title="Schedulers as Abstract Interpretations of HDA",
	BookTitle="Proc. of PEPM'95", Publisher="ACM Press",
	Address="La Jolla", Month=Jun, Year=1995)

	@PhDThesis(
Gou95b,	Author="Goubault, E.",
	Title="The Geometry of Concurrency",
	School="{\'Ecole Normale Sup\'erieure}", Year=1995)

	@InProceedings(
Gou96a,	Author="Goubault, E.",
	Title="Durations for truly-concurrent actions",
	BookTitle="Proceedings of ESOP'96", Publisher="Springer-Verlag",
	Pages="173--187", Year=1996)

	@InProceedings(
Gou96b,	Author="Goubault, E.",
	Title="A Semantic View on Distributed Computability and Complexity",
	BookTitle="Proceedings of the 3rd Theory and Formal Methods
	  Section Workshop", Publisher="Imperial College Press", Year=1996)

	@InProceedings(
Gou97,	Author="Goubault, E.",
	Title="Optimal Implementation of Wait-Free Binary Relations",
	BookTitle="Proceedings of the 22nd CAAP",
	Publisher="Springer Verlag", Year="1997")

	@Article(
Gou00,	Author="E. Goubault", 
	Title="(ed.) Geometry and Concurrency",
	Journal="Mathematical Structures in Computer Science, special
	issue", Pages="409-573 (7 papers)", Volume=10, Number=4,
	Month=Aug, Year=2000)

	@InProceedings(
GP,	Author="Gaifman, H. and Pratt, V.R.",
	Title="Partial Order Models of Concurrency and the Computation
		of Functions",
	BookTitle="Proc. 2nd Annual IEEE Symp. on Logic in Computer Science",
	Address="Ithaca, NY", Pages="72-85", Month=Jun, Year=1987)

	@InProceedings(
GPSS,	Author="Gabbay, D. and Pnueli, A. and Shelah, S. and Stavi, J.",
	Title="On the Temporal Analysis of Fairness",
	BookTitle="Proc. 7th Annual ACM Symposium on Principles of
		Programming Languages",
	Month=Jan, Year=1980, Pages="163-173")

	@Article(
Gra96,	Author="Grattan-Guinness, I.",
	Title=" Numbers, Magnitudes, Ratios, and Proportions in Euclid's
	    Elements: How Did He Handle Them?",
	Journal="Historia Mathematica", Vol=23, Number=4,
	Month=Nov, Pages="355-375", Year=1996)

	@Article(
Gra,	Author="Grabowski, J.",
	Title="On Partial Languages",
	Journal="Fundamenta Informaticae", Volume="IV.2",
	Pages="427-498", Year=1981)

	@Book(
Gra68,	Author="Graetzer, G.",
	Title="Universal Algebra",
	Publisher="Van Nostrand", Address="Princeton, NJ", Year=1968)

	@PhDThesis(
Gre,	Author="Greif, I.",
	Title="Semantics of Communicating Parallel Processes",
	School="Project MAC report TR-154, MIT", Year=1975)

	@Article(
Gro97,	Author="Grover, L.",
	Title="Quantum mechanics helps in searching for a needle in a
	haystack",
	Journal="Physical Review Letters", Volume=79, Number=2, Year=1997)

	@Article(
Gru93,	Author="Gruber, T.R.",
	Title="A Translation Approach to portable ontology specifications",
	Journal="Knowledge Acquisition", Volume=5, Number=2, Pages="199-220",
	Year=1993)

	@Proceedings(
GS87,	Editor="S.M. Gersten and John R. Stallings",
	Title="Combinatorial Group Theory and Topology",
	Publisher="Princeton University Press", Year=1987,
	Series="Annals of mathematics studies",
	Number=111,
	Address="Alta Lodge, Utah, July 15-18, 1984")


	@Article(
GT84,	Author="Genrich, H.J. and Thiagarajan, P.S.",
	Title="A Theory of Bipolar Synchronization Schemes",
	Journal=TCS, Volume="30", Pages="241-318", Year=1984)

	@InProceedings(
Gun91,	Author="J. Gunawardena",
	Title="Geometric Logic, Causality and Event Structures",
	Editor="J. C. M. Baeten and J. F. Groote",
	BookTitle="CONCUR'91 - 2nd International Conference on Concurrency
	Theory", Publisher="Springer", Series=LNCS, Volume=527,
	Pages="266-280", Year=1991)

	@Article(
Gun92b,	Author="Gunawardena, J.",
	Title="Causal Automata", Journal=TCS, Volume="101",
	Pages="265-288", Year="1992")

	@Article(
Gun94,	Author="Gunawardena, J.",
	Title="Homotopy and Concurrency", Journal="EATCS Bulletin 54",
	Pages="184-193", Month=Oct, Year=1994)

	@Book(
Gun92a,	Author="Gunter, C.A.",
	Title="Semantics of Programming Languages",
	Publisher="MIT Press", Year=1992)

	@InProceedings(
Gup89,	Author="Gupta, Rajiv",
	Title="The Fuzzy Barrier: A Mechanism for High Speed
		Synchronization of Processors",
	BookTitle="Proceedings of the Architectural Support for
		Programming Languages and Operating Systems",
	Address="Boston, MA", Pages="54-63", Month=Apr, Year=1989)

	@InProceedings(
Gup93,	Author="Gupta, V.",
	Title="Concurrent {Kripke} Structures",
	BookTitle="Proceedings of the North American Process Algebra
	Workshop, Cornell CS-TR-93-1369", Month=Aug, Year=1993)

	@PhDThesis(
Gup94,	Author="Gupta, V.",
	Title="{Chu} Spaces: A Model of Concurrency",
	School="Stanford University", Note="Tech. Report, available as
	{\small\tt http://boole.stanford.edu/pub/gupthes.pdf}",
	Month=Sep, Year=1994)

	@InProceedings(
GP93,	Author="Gupta, V. and Pratt, V.R.",
	Title="Gates Accept Concurrent Behavior",
	BookTitle="Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci.",
	Pages="62-71", Month=Nov, Year=1993)

	@Book(
GU71,	Author="Gabriel, P. and Ulmer, F.",
	Title="Lokal pr{\"a}sentierbare Kategorien",
	Series=LNM, Volume=221, Publisher="Springer-Verlag", Year=1971)

	@InProceedings(
GV87,	Author="Glabbeek, R.J. van and Vaandrager, F.W.",
	Title="Petri Net Models for Algebraic Theories of Concurrency",
	BookTitle="Proc. {PARLE}, {II}, {LNCS} 259", Pages="224-242",
	Publisher="Springer-Verlag", Year=1987)

	@Article(
GZ91,	Author="Grib, A.A. and Zapatrin, R.R.",
	Title="Quantum Logical Description of Two-Particle Systems",
	Journal="Int. J. Theor. Phys.", Volume=30, Number=7,
	Pages="949-959", Year=1991)

	@PhDThesis(
Hag87,	Author="Hagino, T.",
	Title="A Categorical Programming Language",
	School="University of Edinburgh",
	Note="ECS-LFCS-87-38",
	Year=1987)

	@Article(
Hal64,	Author="Hales, A.W.",
	Title="On the non-existence of free complete Boolean Algebras",
	Journal="Fund. Math.", Volume=54, Pages="45-66", Year=1964)

	@Book(
Hal60,	Author="Halmos, P.R.",
	Title="Naive Set Theory",
	Publisher="Van Nostrand", Address="Princeton, N.J.", Year=1960)

	@Book(
Hal62,	Author="Halmos, P.R.",
	Title="Algebraic Logic",
	Publisher="Chelsea", Address="New York", Year=1962)

	@Book(
Hal74,	Author="Halmos, P.R.",
	Title="Finite-Dimensional Vector Spaces",
	Publisher="Springer-Verlag", Year=1974)

	@Article(
Har79,	Author="Harel, D.",
	Title="Two Results on Process Logic",
	Journal="Information Processing Letters",
	Volume=8, Pages="195-198", Year=1979)

	@InCollection(
Har84,	Author="Harel, D.",
	Title="Dynamic Logic",
	BookTitle="Handbook of Philosophical Logic. {II}: {E}xtensions
	of Classical Logic",
	Publisher="D. Reidel", Address="Boston", Pages="497-604", Year=1984)

	@Article(
HK,	Author="Harel, D. and Kozen, D.",
	Title="A programming language for the inductive sets, and applications",
	Journal="IC",
	Volume=63, Number="1-2", Pages="118-139", Year=1984,
	Note="Also in {\it Proc. 9th Int. Colloq. on Automata, Languages,
		and Programming}, Aarhus, Denmark, July 1982")

	@Book(
HKT,	Author="Harel, D. and Kozen, D. and Tiuryn, J.",
	Title="Dynamic Logic",
	Publisher="MIT Press", Address="Boston", Year="2000")

	@Book(
Hau14,	Author="Hausdorff, F.",
	Title="Grundz{\"u}ge der {M}engenlehre",
	Address="Leipzig", Year="1914")

	@Book(
Hau37,	Author="Hausdorff, F.",
	Title="Grundz{\"u}ge der {M}engenlehre (3rd Ed.)",
	Address="Leipzig", Year="1937")

	@Book(
Haw88,	Author="Hawking, S.W.",
	Title="A Brief History of Time",
	Publisher="Bantam Books", Address="New York", Year="1988")

	@Article(
HL69,	Author="Hedrl{\'\i}n, Z. and Lambek, J.",
	Title="How comprehensive is the category of semigroups",
	Journal="J. Algebra", Volume=11, Pages="195-212", Year=1969)

	@InProceedings(
Hed71,	Author="Hedrl{\'i}n, Z.",
	Title="Extension of Structures and full embeddings of categories", 
	BookTitle="Actes du Congr{\`e}s Int. des Math{\'e}maticiens 1970",
	Volume=1, Address="Paris", Pages="319-322", Year=1971)

	@Book(
HMT71,	Author="Henkin, L. and Monk, J.D. and Tarski, A.",
	Title="Cylindric Algebras",
	Publisher="North-Holland", Address="Amsterdam", Year="1971",
	Note="(Part II, 1985; 2nd printing of Part I, 1985)")

	@Article(
Hen77,	Author="Henkin, L.",
	Title="The Logic of Equality", Journal="Amer. Math. Monthly",
	Volume=84, Number=8, Pages="597-612", Month=Oct, Year=1977)

	@Book(
Hen79,	Author="Henle, Michael",
	Title="A combinatorial introduction to topology",
	Publisher="W. H. Freeman", Year=1979)

	@Article(
Her47,	Author="Herpin, A.",
	Title="Calcul du pouvoir reflecteur d'un {syst\'eme stratifi\'e}
	quelconque",
	Journal="Comptes Rendus Academie des Sciences",
	Year=1947)

	@InCollection(
Hil99,	Author="Hilbert, David",
	Title="{Grundlagen der Geometrie}",
	Booktitle={Festschrift zur Feier der Enthllung des
	    Gauss-Weber-Denkmals in G\"ottingen},
	Pages="1--92", Publisher="B.G. Teubner",
	Address="Leipzig", Year=1899)

	@Article(
Hun13,	Author="Huntington, E.V.",
	Title="A set of postulates for abstract geometry, expressed in
	terms of the simple relation of inclusion",
	Journal="Mathematische Annalen", Volume=73, Pages="522-559",
	Year=1913)

	@InProceedings(
HvG,	Author="Hughes, D. and Glabbeek, R. van",
	Title="Proof Nets for Multiplicative-Additive Linear Logic",
	BookTitle="Logic in Computer Science",
	Month="June", Year="2003", Editor="P.G. Kolaitis",
	Pages="1--10", Publisher="IEEE Computer Society")

	@InProceedings(
HSW,	Author="Herlihy, M.P. and Shavit, N. and Waarts, O.",
	Title="Linearizable Counting Networks",
	BookTitle="Proc. $32^{nd}$ Annual Symposium on Foundations of
	Computer Science", Address="San Juan, PR",
	Pages="526-535", Month=Oct, Year=1991)

	@InProceedings(
HP73,	Author="Hitchcock, P. and Park D.",
	Title="Induction Rules and Termination Proofs",
	BookTitle="Automata, Languages and Programming",
	Editor="M. Nivat", Publisher="North-Holland", Year=1973)

	@Article(
Hoa69,	Author="Hoare, C.A.R.",
	Title="An Axiomatic Basis for Computer Programming",
	Journal=CACM, Volume=12, Pages="576-580", Year=1969)

	@Article(
HL74,	Author="Hoare, C.A.R. and P.E. Lauer",
	Title="Consistent and Complementary Formal Theories of the
		Semantics of Programming Languages",
	Journal="Acta Informatica", Volume=3, Pages="135-153", Year=1974)

	@Article(
Hoa78,	Author="Hoare, C.A.R.",
	Title="Communicating Sequential Processes",
	Journal=CACM, Volume=21, Number="8", Pages="666-672",
	Month=Aug, Year=1978)

	@Book(
Ho85,	Author="Hoare, C.A.R.",
	Title="Communicating Sequential Processes",
	Publisher="Prentice-Hall", Year=1985)

	@incollection(
Ho88,	Author="J. D. Hobby",
	Title="Smoothing Digitized Contours",
	bookTitle="Theoretical Foundations of Computer Graphics and CAD",
	publisher="Springer Verlag",
	editor="R. A. Earnshaw", pages="777-793", year=1988)

	@Book(
HU,	Author="Hopcroft, J.E. and Ullman, J.D.",
	Title="Introduction to Automata Theory, Languages, and
	Computation", Publisher="Addison-Wesley", Year=1979)

	@Article(
Hor51,	Author="Horn, A.",
	Title="On sentences which are true of direct unions of algebras",
	Journal="J. Symbolic Logic", Volume=16, Pages="14-21", Year=1951)

	@InCollection(
How80,	Author="Howard, W.",
	Title="The formulas-as-types notion of construction",
	BookTitle="To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus
		and Formalism",
	Editors="Seldin, J.P. and J.R. Hindley",
	Publisher="Academic Press", Year="1980", Pages="479-490")

	@Unpublished(
HO93,	Author="Hyland, J.M.E. and Ong, C.-H.L.",
	Title="Fair Games and Full Completeness for Multiplicative Linear
		Logic without the Mix-Rule",
	Note="Available by ftp from ftp.comlab.ox.ac.uk as fcomplete.ps.gz
		in /pub/Documents/techpapers/Luke.Ong",
	Year=1993)

	@Book(
HS84,	Author="Hestenes, D. and Sobczyk, G.",
	Title="Clifford Algebra to Geometric Calculus: A Unified
	Language for Mathematics and Physics",
	Publisher="D. Reidel", Year=1984)

	@Book(
Hyd06,	Author="Hyde, E.W.",
	Title="Grassmann's Space Analysis: Mathematical Monograph Number 6",
	Publisher="John Wiley \& Sons",
	Address="New York",
	Year=1906)

	@InCollection(
Ian60,	Author="Ianov, Y.I.",
	Title="The Logical Schemes of Algorithms",
	BookTitle="Problems of Cybernetics",
	Volume=1, Pages="82-140",
	Publisher="Pergamon Press", Address="New York", Year=1960)

	@Article(
Isb60,	Author="Isbell, J.R.",
	Title="Adequate subcategories",
	Journal="Illinois J. Math.",
	Volume=4, Pages="541-552", Year=1960)

	@Article(
Isb72,	Author="Isbell, J.R.",
	Title="Atomless parts of spaces",
	Journal="Math. Scand.", Volume=31, Pages="5-32", Year=1972)

	@Book(
Jam05,	Author="James, G.O.",
	Title="Elements of the kinematics of a point and the rational
		mechanics of a particle",
	Publisher="Wiley and Sons", Year=1905)

	@Book(
Jam09,	Author="James, W.",
	Title="A Pluralistic Universe",
	Publisher="Longmans, Green", Address=London, Year=1909)

	@Book(
JS92,	Author="Joyal, A. and Street, R.",
	Title="An Introduction to Tannaka Duality and Quantum Groups",
	BookTitle="Category Theory, Proc. Como'90",
	Series=LNM, Volume=1488,
	Editors="Carboni, A. and Pedicchio, M.C. and Rosolini, G.",
	Pages="412-492", Publisher="Springer-Verlag", Year=1992)

	@Article(
JT48,	Author="J{\'o}nsson, B. and Tarski, A.",
	Title="Representation problems for relation algebras",
	Journal="Bull. Amer. Math. Soc.", Volume=54, Pages="80,1192",
	Year=1948)

	@Article(
JT51,	Author="J{\'o}nsson, B. and Tarski, A.",
	Title="Boolean algebras with operators. {P}art {I}.",
	Journal="Amer. J. Math.", Volume=73, Pages="891-939", Year=1951)

	@Article(
JT52,	Author="J{\'o}nsson, B. and Tarski, A.",
	Title="Boolean algebras with operators. {P}art {II}.",
	Journal="Amer. J. Math.", Volume=74, Pages="127-162", Year=1952)

	@Article(
Joh78,	Author="Johnstone, P.T.",
	Title="A Note on Complete Semilattices",
	Journal="Algebra Universalis", Volume=8, Pages="260-261", Year=1978)

	@Book(
Joh82,	Author="Johnstone, P.T.",
	Title="Stone Spaces",
	Publisher="Cambridge University Press", Year=1982)

	@PhDThesis(
Joh87,	Author="Johnson, M.",
	Title="Pasting Diagrams in n-Categories with Applications to
	Coherence Theorems and Categories of Paths",
	School="Dept. of Pure Mathematics, Sydney University",
	Month=Oct, Year=1987)

	@Book(
Joh02,	Author="Johnstone, P.T.",
	Title="Sketches of an Elephant: A Topos Theory Compendium",
	Publisher="Oxford Science Publications", Year=2002)

	@Article(
Jon59,	Author="J{\'o}nsson, B.",
	Title="Representation of lattices and relation algebras",
	Journal="Trans. AMS", Number=92, Pages="449-464", Year=1959)

	@Article(
Jon82,	Author="J{\'o}nsson, B.",
	Title="Varieties of Relation Algebras",
	Journal="Algebra Universalis", Volume=15, Pages="273-298", Year=1982)

	@Article(
Jon88,	Author="J{\'o}nsson, B.",
	Title="Relation Algebras and {Schr\"oder} Categories",
	Journal="Discrete Mathematics", Volume=70, Pages="27-45", Year=1988)

	@InProceedings(
Jon89,	Author="Jonsson, B.",
	Title="A fully abstract trace model for dataflow networks",
	BookTitle="Proc. 16th Annual ACM Symposium on Principles of
		Programming Languages",
	Month=Jan, Year=1989, Pages="155-165")

	@Article(
Jos62,	Author="Josephson, B.",
	Title="Possible new effects in superconductive tunnelling",
	Journal="Physics Letters", Volume=1, Pages="251-253", Year=1962) 

	@Article(
Joy95a,	Author="Joyal, A.",
	Title="Free Bicompletion of Enriched Categories",
	Journal="Math. Rep., Acad. Sci. Canada",
	Volume=17, Number=5, Month=Oct, Pages="213--218", Year=1995)

	@Article(
Joy95b,	Author="Joyal, A.",
	Title="Free Bicomplete Categories",
	Journal="Math. Rep., Acad. Sci. Canada",
	Volume=17, Number=5, Month=Oct, Pages="219--225", Year=1995)

	@InCollection(
Joy97,	Author="Joyal, A.",
	Title="Free lattices, communication, and money games",
	Booktitle="Logic and scientific methods",
	Publisher=Kluwer, Pages="29--68", Year=1997)

	@InProceedings(
Ka74,	Author="Kahn, G.",
	Title="The Semantics of a Simple Language for Parallel Programming",
	BookTitle="Proc. IFIP Congress 74",
	Publisher="North-Holland, Amsterdam", Year=1974)

	@Article(
Kli80,	Author="von Klitzing, K. and Dorda, G. and Pepper, M.",
	Title="New method for high-accuracy determination of the
	fine-structure constant based on quantized Hall resistance",
	Journal="Physical Review Letters", Volume=45, Number=6,
	Pages="494-497", Year=1980) 

	@InProceedings(
KM,	Author="Kahn, G. and MacQueen, D.B.",
	Title="Coroutines and Networks of Parallel Processes",
	BookTitle="Proc. IFIP Congress 77",
	Publisher="North-Holland, Amsterdam", Pages="993-998", Year=1977)

	@Techreport{
Kanovich91tra,
	Author="Max I. Kanovich",
	Title="The {H}orn Fragment of Linear Logic is {NP}-Complete",
	institution="University of Amsterdam",
	year=1991,
	type="ITLI Prepublication Series",
	number="X-91-14"
}


	@Techreport{
Kanovich91trb,
	Author="Max I. Kanovich",
	Title="The Multiplicative Fragment of Linear Logic is {NP}-Complete",
	institution="University of Amsterdam",
	year=1991,
	type="ITLI Prepublication Series",
	number="X-91-13"
}

	@InProceedings{
Kanovich92, 
	Author="Max I. Kanovich",  
	Title="Horn Programming in Linear Logic is {NP}-Complete",
	bookTitle="Seventh Annual Symposium on Logic in Computer Science",
	address="Santa Cruz, California",
	month=jun,
	year=1992,  
	pages="200--210",  
	publisher="IEEE Computer Society Press"
} 

	@Article{
Kanovich94apala,
	Author="Max I. Kanovich",
	Title="Linear Logic as a Logic of Computations",
	journal="Annals of Pure and Applied Logic",
	pages="183--212",
	year=1994,
	volume=67,
	number="1-3",
	note="Also in {\em Logic at Tver '92}, Sokal, Russia, July 1992"
}

	@Article{
Kanovich94apalb,
	Author="Max I. Kanovich",
	Title="The Complexity of the {H}orn Fragment of Linear Logic",
	journal="Annals of Pure and Applied Logic",
	pages="195--241", year=1994, volume=69}

	@TechReport(
Kanovich94tra,
	Author="Max I. Kanovich",
	Title="The Independent Basis of Neutral Formulas in Linear Logic",
	institution="Laboratoire de Math{\'e}matiques Discr{\`e}tes,
		      University of Marseille",
	year=1994,
	number="94-08",
	type="Preprint",
	urldvi="file://lmd.univ-mrs.fr/pub/kanovich/neutrals.dvi.Z")

	@TechReport{
Kanovich94trb,
	Author="Max I. Kanovich",
	Title="Simulating Linear Logic with 1-Linear Logic",
	institution="Laboratoire de Math{\'e}matiques Discr{\`e}tes,
		      University of Marseille",
	year=1994,
	number="94-02",
	type="Preprint",
	urldvi="file://lmd.univ-mrs.fr/pub/kanovich/unit-only.dvi.Z"
}

	@InProceedings{
Kanovich94tacs,
	Author="Max I. Kanovich",
	Title="Petri Nets, {H}orn Programs, Linear Logic, and Vector Games",
	editor="M. Hagiya and J. Mitchell",
	publisher="Springer-Verlag LNCS 789",
	pages="642--666",
	bookTitle="Proceedings of the International Symposium Theoretical
		Aspects of Computer Software TACS'94",
	address="Sendai, Japan",
	year=1994,
	month=apr
}

	@InCollection{
Kanovich95,
	Author="Max I. Kanovich",
	Title="The Direct Simulation of {M}insky Machines in Linear Logic",
	bookTitle="Advances in Linear Logic",
	editor="J.-Y. Girard and Y. Lafont and L. Regnier",
	year=1995,
	pages="123--145",
	publisher="Cambridge University Press",
	note="Proceedings of the Workshop on Linear Logic, Ithaca,
		New York, June 1993"
}

	@InProceedings{
Kanovich95lics,
	Author="Max I. Kanovich",
	Title="The Complexity of Neutrals in Linear Logic",
	bookTitle="Tenth Annual IEEE Symposium on Logic in Computer Science",
	editor="D. Kozen",
	pages="486--495",
	address="San Diego, California",
	month=jun,
	year=1995
}

	@Article(
KM69,	Author="Karp, R.M. and Miller, R.E.",
	Title="Parallel Program Schemata",
	Journal=JCSS, Volume=3, Pages="147-195", Year=1969)

	@Book(
Kel,	Author="Kelly, G.M.",
	Title="Basic Concepts of Enriched Category Theory:
	London Math. Soc. Lecture Notes", Series=64,
	Publisher="Cambridge University Press", Year=1982)

	@Article(
KR85,	Author="Kelly, G.M. and Rossi, F.",
	Title="Topological categories with many symmetric monoidal
	closed structures",
	Journal="Bull.Austral.Math.Soc.", Volume=31, Pages="41-59", Year=1985)

	@Article(
KL80,	Author="Kelly, G.M. and Laplaza, M.L.",
	Title="Coherencs for compact closed categories",
	Journal="J. Pure and Applied Algebra", Volume=19, Pages="193-213", Year=1980)

	@Article(
Kel89,	Author="Kelly, G.M.",
	Title="Elementary observations on 2-categorical limits",
	Journal="Bull. Aust. Math. Soc.", Volume=39, Number=2, Month=Apr,
	Year=1989, Pages="301-317")

	@InCollection(
KS,	Author="G.M. Kelly and R. Street",
	Title="Review of the Elements of 2-Categories",
	Series=LNM, Volume=420, Publisher="Springer-Verlag", Year=1974)

	@Book(
KR66,	Author="Kilmister, C.W. and Reeve, J.E.",
	Title="Rational mechanics",
	Publisher="American Elsevier",  Year=1966)

	@InCollection(
Kle,	Author="Kleene, S.C.",
	Title="Representation of events in nerve nets and finite automata",
	BookTitle="Automata Studies", Pages="3-42",
	Publisher="Princeton University Press", Address="Princeton, NJ",
	Year=1956)

	@Book(
Klo86,	Editor="Christian Kloesel",
	Title="Writings of {Charles S. Peirce}: A Chronological Edition",
	Publisher="Indiana University Press", Address="Bloomington, IN",
	Volume="4, 1879-1884", Year=1986)

	@InProceedings(
Kok87,	Author="Kok, J.",
	Title="A fully abstract semantics for data flow nets",
	BookTitle="Proc. {PARLE}, {II}, {LNCS} 259", Pages="351-368",
	Publisher="Springer-Verlag", Year=1987)

	@Unpublished(
Koz79a,	Author="Kozen, D.",
	Title="A representation theorem for models of $*$-free {PDL}",
	Note="Manuscript",
	Month=May, Year=1979)

	@TechReport(
Koz79aa,Author="Kozen, D.",
	Title="A representation theorem for models of $*$-free {PDL}",
	Institution="IBM", Number="RC7864", Month=Sep, Year=1979)

	@InProceedings(
Koz79b,	Author="Kozen, D.",
	Title="On the duality of dynamic algebras and {Kripke} models",
	BookTitle="Proc. Workshop on Logic of Programs 1979", Series=LNCS,
	Volume=125,
	Editor="Engeler, E.",
	Publisher="Springer-Verlag", Year=1979, Pages="1-11")

	@TechReport(
Koz79c,	Author="Kozen, D.",
	Title="On the representation of dynamic algebras",
	Institution="IBM", Number="RC7898", Month=Oct, Year=1979)

	@TechReport(
Koz80a,	Author="Kozen, D.",
	Title="On the representation of dynamic algebras II",
	Institution="IBM", Number="RC8290", Month=May, Year=1980)

	@InProceedings(
Koz80b,	Author="Kozen, D.",
	Title="A representation theorem for models of *-free {PDL}",
	BookTitle="Proc. 7th Colloq. on Automata, Languages, and Programming",
	Pages="351-362", Month=Jul, Year=1980)

	@Article(
Koz80c,	Author="Kozen, D.",
	Title="Complexity of Boolean algebras",
	Journal=TCS, Volume=10, Pages="221-247", Year=1980)

	@InProceedings(
Koz81a,	Author="Kozen, D.",
	Title="On induction vs. *-continuity",
	BookTitle="Proc. Workshop on Logics of Programs 1981", Series=LNCS,
	Volume=131,
	Publisher="Spring-Verlag",
	Editor="Kozen, D.", Year=1981, Pages="167-176")

	@InProceedings(
Koz81b,	Author="Kozen, D.",
	Title="Dynamic Algebra: {S}ection in: {P}ropositional Dynamic Logics
	of Programs: a Survey, by {R}. {Parikh}", Editor="E. Engeler",
	BookTitle="Proc. Workshop on Logic of Programs 1979, {LNCS} 125",
	Publisher="Springer", Year=1981, Pages="102-144")

	@InProceedings(
Koz83,	Author="Kozen, D. and Parikh, R.",
	Title="A decision procedure for the propositional $\mu$-calculus",
	BookTitle="Proc. Workshop on Logics of Programs 1983, {LNCS} 164",
	Editor="Clarke, E. and Kozen D.",
	Publisher="Springer-Verlag", Year=1983, Pages="313-325")
y
	@Article(
Koz83b,	Author="Kozen, D.",
	Title="Results on the propositional mu-calculus",
	Journal="Theoretical Computer Science", Volume=23, Year=1983)

	@TechReport(
Koz90aTR,Author="Kozen, D.",
	Title="A Completeness Theorem for {K}leene Algebras and the Algebra
		of Regular Events",
	Institution="Cornell U.", Number="90-1123", Month=May, Year=1990)

	@InProceedings(
Koz90a,	Author="Kozen, D.",
	Title="A Completeness Theorem for {K}leene Algebras and the Algebra
		of Regular Events",
	BookTitle="Proc. 6th Annual IEEE Symp. on Logic in Computer Science",
	Address="Amsterdam", Month=Jul, Pages="214-225", Year=1991)

	@InProceedings(
Koz90b,	Author="Kozen, D.",
	Title="On {K}leene Algebras and Closed Semirings",
	Editor="Rovan, B.", Pages="26-47", Address="Bansk\'a Bystrica",
	BookTitle="Mathematical Foundations of Computer Science 1990",
	Series=LNCS, Volume=452, Publisher="Springer-Verlag", Year=1990)

	@InProceedings(
Koz92,	Author="Kozen, D.",
	Title="On Action Algebras",
	BookTitle="Logic and Information Flow (Amsterdam 1991)",
	Editor="J. van Eijck", Publisher="Springer-Verlag",
	Address="Amsterdam, NL", Year=1992)

	@InCollection(
KT82,	Author="Kelly, D. and Trotter, W.T.",
	Title="Dimension Theory for Ordered Sets",
	BookTitle="Ordered Sets", Editor="I. Rival", Pages="171-211",
	Publisher="D. Reidel", Year=1982)

	@InCollection(
KT,	Author="Kozen, D. and Tiuryn, J.",
	Title="Logics of Programs",
	BookTitle="Handbook of Theoretical Computer Science",
	Editor="J. van Leeuwen",
	Publisher="North Holland", Address="Amsterdam", Year=1989)

	@Article(
Kri63,	Author="Kripke, S.",
	Title="Semantical considerations on Modal Logic",
	Journal="Acta Philosophica Fennica", Pages="83-94", Year=1963)

	@InCollection(
Kri77,	Author="Kripke, S.",
	Title="Identity and Necessity",
	BookTitle="Naming, Necessity, and Natural Kinds",
	Editor="Schwartz, S.P.", Pages="66-101",
	Publisher="Cornell University Press", Address="Ithaca and London",
	Year=1977)

	@Book(
Kri82,	Author="Kripke, S.",
	Title="Naming and Necessity",
	Publisher="Harvard University Press", Year=1982)

	@Book(
LL,	Author="C.I. Lewis and C.H. Langford",
	Title="Symbolic Logic",
	Year=1932, Publisher="The Century Company",
	Note="2nd ed.  1959, Dover Publications, Inc.")

	@Article(
Laf88,	Author="Lafont, Y.",
	Title="The Linear Abstract Machine",
	Journal="TCS", Volume=59, Pages="157-180", Year=1988)

	@inproceedings(
Laf90,	Author="Lafont, Y.",
	Title="Interaction Nets",
	BookTitle="Proc. 17-th {ACM} Symp. on Principles of 
	Programming Languages, San Francisco",
	Month=Jan, Year=1990, pages="95-108")

	@inproceedings(
Lam94,	Author="Lamarche, F.",
	Title="From {C}hu Spaces to {CPO}s",
	BookTitle="Theory and Formal Methods of Computing 94:
	Proceedings of the Second Imperial College Workshop",
	Editor="Chris Hankin, Ian Mackie and Raja Nagarajan",
	Publisher="Imperial College Press/World Scientific, ISBN 1-86094-003-X",
	Pages="283--305", Month=Sep, Year=1994)

	@InProceedings(
LS91,	Author="Lafont, Y. and Streicher, T.",
	Title="Games Semantics for Linear Logic",
	BookTitle="Proc. 6th Annual IEEE Symp. on Logic in Computer Science",
	Address="Amsterdam", Month=Jul, Pages="43-49", Year=1991)

	@Unpublished(
Laf96,	Author="Lafont, Y.",
	Title="The Finite Model Property for Various Fragments of Linear Logic",
	Note="Available as
	http://hypatia.dcs.qmw.ac.uk/authors/L/LafontYGA/papers/model.ps.Z",
	Year=1996)

	@Article(
Lam58,	Author="Lambek, J.",
	Title="The Mathematics of Sentence Structure",
	Journal="American Math. Monthly", Volume=65, Number=3,
	Pages="154-170", Year=1958)

	@Article(
Lam70,	Author="Lambek, J",
	Title="Subequalizers",
	Journal="Canadian Math. Bull.", Volume=13, Pages="337--349", Year=1970)

	@Article(
Lam86,	Author="Lamport, L.",
	Title="On Interprocess Communication",
	Journal="Distributed Computing", Volume=1, Pages="77-101", Year=1986)

	@Article(
Lat76,	Author="Latch, D.",
	Title="Arbitrary products are coproducts in complete
	{($\lor$-)}semilattices",
	Journal="Algebra Universalis", Volume=6, Pages="97-98", Year=1976)

	@InCollection(
Law,	Author="Lawvere, W.",
	Title="Metric Spaces, Generalized Logic, and Closed Categories",
	BookTitle="Rendiconti del Seminario Matematico e Fisico di Milano,
		XLIII",
	Publisher="Tipografia Fusi, Pavia", Year=1973)

	@Book(
Lem,	Author="Lemmon, E.J.",
	Title="An Introduction to Modal Logic",
	Editor="Segerberg, K.",
	Publisher="Basil Blackwell", Year=1977)

	@Book(
Lev23,	Author="Levi-Civita, T.",
	Title="Lezioni di meccanica razionale",
	Publisher=Zanichelli, Address=Bologna, Year=1923)

	@Book(
Lew29,	Author="Lewis, C.I.",
	Title="Mind and the World Order: Outline of a Theory of Knowledge",
	Publisher="Scribner's Sons",
	Year=1929)

	@InProceedings(
Lew90,	Author="Lewis, H.",
	Title="A Logic of Concrete Time Intervals",
	BookTitle="Proc. 5th Annual IEEE Symp. on Logic in Computer Science",
	Address="Philadelphia", Month=Jul, Year=1990)

	@Article(
LMSS,	Author="Lincoln, P. and Mitchell, J.C. and Scedrov, A. and Shankar, N.",
	Title="Decision Problems for Propositional Linear Logic",
	Journal="Ann. Pure and Applied Logic", Volume=56, Pages="239-311",
	Year=1992)

	@Article(
Lin88,	Author="Lindsay, P.A.",
	Title="A Survey of Mechanical Support for Formal Reasoning",
	Journal="Software Engineering Journal",
	Volume=3, Number=1, Month=Jan, Year=1988)

	@InProceedings(
LP77,	Author="Litvintchouk, S.D. and Pratt, V.R.",
	Title="A Proof Checker for Dynamic Logic",
	BookTitle="5th International Joint Conference on A.I.",
	Pages="552--558", City=Boston, Month=Aug, Year=1977)

	@InProceedings(
DS76,	Author="Downey, P.J. and Sethi, R.",
	Title="Assignment Commands and Array Structures",
	BookTitle="17th IEEE Symposium on Foundations of Computer Science",
	Pages="57--66", Month=Oct, Year=1976)

	@InProceedings(
NO77,	Author="Nelson, G. and Oppen, D.C.",
	Title="Fast Decision Algorithms Based on Union and Find",
	BookTitle="18th IEEE Symposium on Foundations of Computer Science",
	Month=Oct, Year=1977)

	@Book(
LS86,	Author="Lambek, J. and Scott, P.",
	Title="Introduction to Higher-Order Categorical Logic",
	Publisher="Cambridge University Press", Year=1986)

	@InProceedings(
Loa94,	Author="Loader, R.",
	Title="Linear Logic, Totality and Full Completeness",
	BookTitle="Proc. 9th Annual IEEE Symp. on Logic in Computer Science",
	Year=1994)

	@InProceedings(
Lod01,	Author="Loday, J.-L.",
	Title="Dialgebras",
	BookTitle="Dialgebras and related operads", Pages="7-66",
	Series="Lect. Notes in Mathematics",
	Number=1763, Publisher="Springer", Year=2001)

	@Article(
LP93,	Author="Loday J.-L. and T. Pirashvili",
	Title="Universal enveloping algebras of Leibniz algebras and
	(co)homology",
	Journal="Math. Ann.", Volume=296, Pages="139--158", Year=1993)

	@Article(
Lyn50,	Author="Lyndon, R.C.",
	Title="The Representation of Relational Algebras",
	Journal="Ann. of Math., Ser 2", Volume=51,
	Pages="707-729", Year=1950)

	@Article(
Lyn61,	Author="Lyndon, R.C.",
	Title="Relational Algebras and Projective Geometries",
	Journal="Mich. J. of Math.", Volume=69,
	Pages="294-307", Year=1961)

	@Article(
Mac03,	Author="Macintyre, Angus",
	Title="Model Theory: Geometrical and Set-Theoretic Aspects and
		Prospects",
	Journal="Bulletin of Symbolic Logic",
	volume=9, number=2, pages="197--212",
	Year=2003)

	@Article(
Mac45,	Author="Mackey, G.",
	Title="On infinite dimensional vector spaces",
	Journal="Trans. Amer. Math. Soc.", Volume=57,
	Pages="155-207", Year=1945)

	@Article(
Mac65,	Author="Mac{ }Lane, S.",
	Title="Categorical Algebra",
	Journal="Bull. Am. Math. Soc", Volume=71, Pages="40-106",
	Year=1965)

	@Book(
Mac,	Author="Mac{ }Lane, S.",
	Title="Categories for the Working Mathematician",
	Publisher="Springer-Verlag", Year=1971)

	@Book(
Mac70,	Author="Mac{ }Lane, S.",
	Title="Homology",
	Publisher="Springer-Verlag", Year=1970)

	@InProceedings(
Mac82,	Author="Mac{ }Lane, S.",
	Title="Why commutative diagrams coincide with equivalent proofs;
		presented in honor of Nathan Jacobson",
	BookTitle="Algebraists' homage: Papers in ring theory and
		related topics",
	Editor="S.A. Amitsur and G.B. Seligman",
	Series="Contemporary Mathematics", Volume=13, Year=1982)

	@Book(
Mac86,	Author="Mac{ }Lane, S.",
	Title="Mathematics, form and function",
	Publisher="Springer-Verlag", Year=1986)

	@Article(
Mad91,	Author="Maddux, R.D.",
	Title="The origin of relation algebras in the development
	 and axiomatization of the calculus of relations",
	Journal="Studia Logica", Volume=50, Number="3/4", Pages="421-455",
	Year=1991)

	@InProceedings(
Mar93,	Author="Mark, D.M.",
	Title="Toward a Theoretical Framework for Geographic Entity Types",
	BookTitle="Spatial Information Theory: A Theoretical Basis for GIS",
	Series=LNCS, Volume=716, Pages="270-283", Address="Berlin",
	Publisher="Springer-Verlag", Year=1993)

	@Book(
MB,	Author="Mac{ }Lane, S. and Birkhoff, G.",
	Title="Algebra",
	Publisher="Macmillan", Year=1967)

	@InCollection(
McC,	Author="McCarthy, J.",
	Title="A Basis for a Mathematical Theory of Computation",
	BookTitle="Computer Programming and Formal Systems",
	Pages="33-70",
	Editor="P. Braffort and D.  Hirschberg",
	Publisher="North Holland", Address="Amsterdam", Year=1963)

	@Article(
Mak64,	Author="Makkai, M.",
	Title="On {PC$_\Delta$} classes in the theory of models",
	Journal="Publications of Math. Inst. Hung. Acad. Sci.",
	Volume=9, Pages="159-194", Year=1964)

	@InCollection(
MP83,	Author="Zohar Manna and Amir Pnueli",
	Title="Verification of Concurrent Programs: A Temporal Proof System",
	BookTitle="Foundations of Computer Science: Distributed Systems",
	Editor="de Bakker, J. W. and van Leeuwen, J.",
	Publisher="Mathematisch Centrum", 
	Address="Amsterdam", year=1983,
	Pages="163-255")

	@Book(
Mar,	Author="Martin, G.E.",
	Title="The foundations of geometry and the non-{E}uclidean plane", 
	Year=9999)

	@TechReport(
Maz77,	Author="Mazurkiewicz, A.",
	Title="Concurrent Program Schemes and their Interpretations",
	Number="DAIMI Report PB-78",
	Institution="Aarhus University, Aarhus", Year=1977)

	@InProceedings(
Maz84,	Author="Mazurkiewicz, A.",
	Title="Traces, Histories, Graphs: Instances of a Process Monoid",
	BookTitle="Proc. Conf. on Mathematical Foundations of Computer
	Science", Series=LNCS, Volume=176, Publisher="Springer-Verlag",
	Year=1984)

	@Article(
McK40,	Author="McKinsey, J.C.C",
	Title="Postulates for the Calculus of Binary Relations",
	Journal="J. Symbolic Logic", Volume=5, pages="85-97", Year=1940)

	@Article(
McK43,	Author="McKinsey, J.C.C.",
	Title="The decision problem for some classes of sentences
	without quantifiers", 
	Journal="J. Symbolic Logic", Volume=8, pages="61-76", Year=1943)

	@Book(
MMT,	Author="McKenzie, R. and McNulty, G. and Taylor, W.",
	Title="Algebras, Lattices, Varieties, Volume I",
	Publisher="Wadsworth \& Brooks/Cole",
	Address="Monterey, CA", Year=1987)

	@InCollection(
McN89,	Author="McNulty, G.",
	Title="An equational logic sampler",
	BookTitle="Rewriting Techniques and Applications", Series=LNCS,
	Volume=355,
	Editor="N. Dershowitz", Publisher="Springer-Verlag", Address="Berlin",
	Pages="234-262", Year=1989)

	@Article(
MB84,	Author="Michael G. Main and David B. Benson",
	Title="Functional Behavior of Nondeterministic and Concurrent 
		Programs",
	Journal="Information and Control",
	Volume=62, Pages="144-189", Year=1984)

	@Book(
MN88,	Author="Markov, A.A. and Nagorny, N.M.",
	Title="The Theory of Algorithms",
	Publisher="Kluwer Academic Publishers, Soviet Series",
	Note="Translation of Teoriia algorifmov", Year=1988)

	@InProceedings(
MOM,	Author="Marti-Oliet, N. and Meseguer, J.",
	Title="From {P}etri Nets to Linear Logic",
	BookTitle="Category Theory and Computer Science", Series=LNCS,
	Volume=389,
	Year="1989", Editor="D.Pitts et al", Pages="313-340",
	Publisher="Springer Verlag")

	@Article(
MM,	Author="Meseguer, J. and Montanari, U.",
	Title="Petri Nets are Monoids",
	Journal="Information and Control", Volume=88, Number=2,
	Month=Oct, Pages="105-155", Year=1990)

	@incollection(
Mil90,	Author="Miller, D.",
	Title="Abstractions in logic programming",
	BookTitle="Logic and Computer Science", Editor="Odifreddi, P.",
	Publisher="{APIC Studies in Data Processing, Vol. 31, Academic Press}",
	Pages="329-359", Year=1990)

	@Book(
MM92,	Author="Mac{ }Lane, S. and Moerdijk, I.",
	Title="Sheaves in Geometry and Logic: A First Introduction to
	Topos Theory", Publisher="Springer-Verlag", Year=1992)

	@Article(
MNPS,	Author="Miller, D. and G. Nadathur and F. Pfenning and A. Scedrov",
	Title="Uniform proofs as a foundation for logic programming",
	Journal="Annals Pure Appl. Logic", Volume=51, pages=
	"125-157", Note="{Special Issue on the 2nd Annual IEEE
	Symposium on Logic in Computer Science, 1987.}", Year=1991)

	@Book(
Mil80,	Author="Milner, R.",
	Title="A Calculus of Communicating Systems", Series=LNCS,
	Volume=92, Publisher="Springer-Verlag", Year=1980)

	@Article(
Mil83,	Author="Milner, R.",
	Title="Calculi for Synchrony and Asynchrony",
	Journal=TCS, Volume=25, Pages="267-310", Year=1983)

	@InProceedings(
Mil84,	Author="Milner, R.",
	Title="Lectures on a Calculus for Communicating Systems",
	BookTitle="Seminar on Concurrency",
	Editor="S. Brookes and A. Roscoe and G. Winskel",
	Series=LNCS, Volume=197, Pages="197-220",
	Publisher="Springer-Verlag", Year=1984)

	@InProceedings(
Mil85b,	Author="Robin Milner",
	Title="Lectures on a Calculus of Communicating Systems",
	crossref="Bro85",
	pages="205-228")

	@Book(
Mil89,	Author="Milner, R.",
	Title="Communication and Concurrency",
	Publisher="Prentice-Hall", Year=1989)

	@incollection(
Mil90b,	Author="Milner, R.",
	Title="Operational and algebraic semantics of concurrent processes",
	Editor="J. van Leeuwen",
	BookTitle="Handbook of Theoretical Computer Science", Chapter=19,
	Publisher="Elsevier Science Publishers B.V. (North-Holland)",
	Pages="1201--1242", Year=1990)

	@Article(
MPW,	Author="Milner, R. and Parrow, J. and Walker, D",
	Title="A calculus of mobile processes",
	Journal="Information and Control", Volume=100, Pages="1-77", Year=1992)

	@InProceedings(
Mil93,	Author="Milner, R.",
	Title="Action calculi, or syntactic action structures",
	BookTitle="Proceedings of MFCS'93", Address="Gda{\'{n}}sk, Poland",
	Series=LNCS, Volume=711,
	Pages="105-121", Publisher="Springer-Verlag", Year=1993)

	@TechReport(
Mil92,	Author="Dale Miller",
	Title="The $\pi$-calculus as a theory in linear logic: Preliminary
	results",
	Institution="Computer Science Department, University of Pennsylvania",
	Month="June", Year=1992, number="MS-CIS-92-48",
	Note="Submitted.  Available using anonymous ftp from host
	ftp.cis.upenn.edu and the file pub/papers/miller/pic.dvi.Z.")

	@Article(
Mon64,	Author="Monk, J.D.",
	Title="On Representable Relation Algebras",
	Journal="Michigan Math. J.", Volume=11, Pages="207-210", Year=1964)

	@InProceedings(
Mor73,	Author="Morris, J.H.",
	Title="Types are not sets",
	BookTitle="Principles of Programming Languages",
	Pages="120-124", Publisher="{ACM}", Year=1973)

	@InProceedings(
Mos08,	Author="Moschovakis, Y.N.",
	Title="The axiomatic derivation of absolute lower bounds",
	BookTitle="Proc. IEEE Symp. on Logic in Computer Science",
	Address="Pittsburgh", Pages="405", Month=Jun, Year=2008)

	@Book(
Mo74,	Author="Y.~N. Moschovakis",
	Title="Elementary Induction on Abstract Structures",
	Publisher="North-Holland", Year=1974)

	@Book(
MP89,	Author="Makkai, M. and Par{\'e}, R.",
	Title="Accessible Categories: The Foundations of Categorical
	Model Theory", series="Contemporary Mathematics",
	volume="104", publisher="American Mathematical Society",
	address="Providence, Rhode Island", Year=1989)

	@InProceedings(
MS72,	Author="Meyer, A.R. and Stockmeyer, L.",
	Title="The equivalence problem for regular expressions with
	squaring requires exponential time",
	BookTitle="Proc. 13th IEEE Symp. on Switching and Automata
	Theory", Publisher="IEEE Computer Society", Address="Long Beach,
	CA", Pages="125-129", Year=1972)

	@InProceedings(
MS,	Author="Montanari, U. and Simonelli, C.",
	Title="On distinguishing between concurrency and nondeterminism",
	BookTitle="Proc. {Ecole} de {Printemps} on Concurrency and {Petri}
	Nets", Address="Colleville", Year=1980)

	@Article(
MS99,	Author="{Monz\'on}, J.J. and {S\'anchez-Soto}, L.L.",
	Title="Algebraic structure of {Fresnel} reflection and
	    transmission coefficients at an interface",
	Journal="Optik", Volume=110, Pages="309-312", Year=1999)

	@Article(
MS02,	Author="{Monz\'on}, J.J. and {S\'anchez-Soto}, L.L.",
	Title="Fresnel coefficients as hyperbolic rotations",
	Journal="Eur. J. Phys.", Volume=23, Pages="1-9", Year=2002)

	@InProceedings(
MP,	Author="Monteiro, L.F. and Pereira, F.C.N.",
	Title="Outline of a Sheaf-theoretic Approach to Concurrency",
	BookTitle="Proc. IEEE Symp. on Logic in Computer Science",
	Address="Boston", Month=Jul, Year=1986)

	@Article(
Mul,	Author="Mulry, P.",
	Title="Generalized Banach-Mazur functionals in the topos of
	recursive sets",
	Journal="J. of Pure and Applied Algebra", Volume=26)

	@InProceedings(
Mul86,	Author="Mulvey, C.J.",
	Title="{\&}",
	BookTitle="Second Topology Conference",
	Series="Rendiconti del Circolo Matematico di Palermo, ser.2,
	supplement no. 12", Pages="99-104", Year=1986)

	@Article(
Mus80,	Author="Muses, C.",
	Title="Hypernumbers and Quantum Field Theory with a Summary of
	   Physically Applicable Hypernumber Arithmetics and their Geometries",
	Journal="Appl. Math. \& Comput", Volume=6, Pages="63-94", Year=1980)

	@Article(
DM04,	Author="Dries, L. van den and Moschovakis, Y.",
	Title="Is the {E}uclidean algorithm optimal among its peers?",
	Journal="Bull. Symbolic Logic", Volume=10, Number=3,
	Pages="390--418", Year=2004)

	@Article(
DM09,	Author="Dries, L. van den and Moschovakis, Y.",
	Title="Arithmetic Complexity",
	Journal="ACM Trans. on Computational Logic", Note="to appear",
	Volume="??", Number="??", Pages="??--??", Year=2009)

	@Article(
Nem82,	Author="N{\'e}meti, I.",
	Title="Every free algebra in the variety generated by the
	representable dynamic algebras is separable and representable",
	Journal=TCS, Volume=17, Pages="343-347", Year=1982)

	@InProceedings(
Nem81,	Author="N{\'e}meti, I.",
	Title="Dynamic Algebras of Programs",
	BookTitle="Proc. Fundamentals of Computation Theory", Series=LNCS,
	Volume=117,
	Pages="281-290", Publisher="Springer-Verlag", Year=1981)

	@Article(
Nis80,	Author="Nishimura, H.",
	Title="Descriptively complete process logic",
	Journal="Acta Informatica", Volume=14, Pages="359-369", Year=1980)

	@Article(
Nis80b,	Author="Nishimura, H.",
	Title="Sequential method in quantum logic",
	Journal="Journal of Symbolic Logic", Volume=45, Number=2,
	Pages="339-352", Year=1980)

	@Book(
Nov,	Author="Novak, V.",
	Title="Fuzzy Sets and their Applications",
	Comment="Call number QA248 F9 1989 MATH")

	@Article(
NT77,	Author="Ng, K.C. and Tarski, A.",
	Title="Relation algebras with transitive closure,
		{A}bstract 742-02-09",
	Journal="Notices Amer. Math. Soc.", Volume=24, Pages="A29-A30",
	Year=1977)

	@PhDThesis(
Ng84,	Author="Ng, K.C.",
	Title="Relation Algebras with Transitive Closure",
	School="University of California, Berkeley",
	Note="157+iv pp.", Year=1984)

	@Article(
NPW,	Author="Nielsen, M. and Plotkin, G. and Winskel, G.",
	Title="Petri nets, event structures, and domains, part {I}",
	Journal=TCS, Volume=13, Pages="85-108", Year=1981)

	@Article(
OS,	Author="Olivier, J.-P. and Serrato, D.",
	Title="Cat{\'e}gories de {D}edekind",
	Journal="C.R. Acad. Sci.", Address="Paris", Volume=290,
	Pages="939-941", Year=1980)

	@Techreport(
OGG88,	Author="E.-R. Olderog and U. Goltz and Glabbeek, R.J. van",
	Title={Combining compositionality and concurrency,
		summary of a {GMD}\-workshop, {K}\"{o}nigswinter, {M}arch 1988},
	Institution=gmd, year=1988, Type="Arbeitspapiere der GMD",
	number=320)

	@InProceedings(
PA,	Author="{Pavlovi\'c}, D. and Abramsky, S.",
	Title="Specifying Interaction Categories",
	BookTitle="Proc. CTCS'97, LNCS", Publisher="Springer-Verlag",
	Address="S.Margherita, Italy", Year=1997)

	@InProceedings(
PF,	Author="Peterson, G.L. and Fischer, M.J.",
	Title="Economical Solutions for the Critical Section Problem in
	a Distributed System",
	BookTitle="Proc. 9th Annual ACM Symp. on Theory of Computing",
	Pages="91-97", Address="Boulder, Col.", Month=May, Year=1977)

	@Unpublished(
PP,	Author="Plotkin, G.D. and Pratt, V.R.",
	Title="Teams Can See Pomsets",
	Note="Manuscript available as
	  {\small\tt http://boole.stanford.edu/pub/pp2.ps.gz}",
	Month=Oct, Year=1988)

	@InProceedings(
PP96,	Author="Plotkin, G.D. and Pratt, V.R.",
	Title="Teams Can See Pomsets",
	BookTitle="Proc. Workshop on Partial Order Models in Verification",
	Publisher="AMS", Month=Dec, Year=1996)

	@inProceedings(
deP89,	Author="{d}e Paiva, V.",
	Title="The Dialectica Categories",
	BookTitle="Categories in Computer Science and Logic",
	Address="held June 1987, Boulder, Colorado", Pages="47-62",
	Series="Contemporary Mathematics", Volume=92, Year=1989)

	@inProceedings(
deP89b,	Author="{d}e Paiva, V.",
	Title="A Dialectica-like Model of Linear Logic",
	BookTitle="Proc. Conf. on Category Theory and Computer Science",
	Series=LNCS, Volume=389, Pages="341-356", Publisher="Springer-Verlag",
	Address="Manchester", Month=Sep, Year=1989)

	@unpublished(
PH93,	Author="Valeria de Paiva and Martin Hyland",
	Title="Full Intuitionistic Linear Logic (Extended Abstract)",
	Institution="Computer Laboratory, University of Cambridge",
	Note="To appear in Annals of Pure and Applied Logic",
	Month=May, Year=1993)

	@Book(
Pap,	Author="Papadimitriou, C.",
	Title="The Theory of Database Concurrency Control",
	Publisher="Computer Science Press", Year=1986)

	@InProceedings(
Par78,	Author="Parikh, R.",
	Title="A Completeness Result for a Propositional Dynamic Logic",
	BookTitle=LNCS, Volume=64, Pages="403-415",
	Publisher="Springer-Verlag", Year=1978)

	@InProceedings(
Par78b,	Author="Parikh, R.",
	Title="A Decidability Result for a Second Order Process Logic",
	BookTitle="Proc. 19th IEEE Symp. on Foundations of Computer Science",
	Pages="177-183", Address="Ann Arbor, MI", Month=Oct, Year=1978)

	@InCollection(
Par87,	Author="Parfit, D.",
Title="Divided minds and the nature of persons",
	Booktitle="Mindwaves",
	Editor="Blakemore and Greenfield",
	Publisher="Oxford: Blackwell", Pages="19-26", Year=1987)

	@Unpublished(
Pat08,	Author="Paterson, M",
	Title="Mother's Pie Problem",
	BookTitle="Mike66: Workshop in Honour of Prof. Mike Paterson's
	66th Birthday",
	Note="Available as http://www2.warwick.ac.uk/fac/cross\_fac/dimap/events/mike66/motherspie",
	Address="University of Warwick, UK", Month=Sep, Year=2008)

	@InCollection(
PH,	Author="Paris, J. and Harrington, L.",
	Title="A mathematical incompleteness in {Peano} arithmetic",
	BookTitle="Handbook of Mathematical Logic",
	Editor="Barwise, J.", Publisher="North-Holland",
	Address="Amsterdam", Year=1977, Pages="1133-1142")

	@InProceedings(
Pa81,	Author="Park, D.",
	Title="Concurrency and Automata on Infinite Sequences",
	BookTitle="Proc. Theoretical Computer Science", Series=LNCS,
	Volume=104, Pages="167-183", Publisher="Springer-Verlag", Year=1981)

	@Inbook(
Pa83,	Author="D. Park",
	Title="The fairness problem and nondeterministic computing networks",
	BookTitle="Foundations of Computer Science IV", Pages="133-162",
	Publisher="Mathematisch Centrum, Amsterdam", Year="1983")

	@Book(
Pas82,	Author="Pasch, M. ",
	Title="{Vorlesungen \"Uber Neuere Geometrie}",
	Publisher="B.G. Teubner", Address="Leipzig", Year=1882)

	@Article(
Pav92,	Author="Pavi{\u ci\' c}, M.",
	Title="Bibliography on Quantum Logics and Related Structures",
	Journal="Int. J. of Theoretical Physics", Volume=31, Number=3,
	Pages="373-460", Year=1992)

	@InProceedings(
Pav91,	Author={D.~Pavlovi\'c},
	Title="Categorical interpolation: descent and the Beck-Chevalley
	condition without direct images",
	BookTitle="Category Theory", Pages="306-326",
	Editor="A. Carboni et al.", Series="Lect. Notes in Mathematics",
	Number=1488, Publisher="Springer", Year=1991)

	@InProceedings(
Pav92a,	Author={D.~Pavlovi\'c},
	Title="A logical view on the adjoint functor theorem",
	BookTitle="CMS Conf. Proc.", Volume=13, Pages="361-367", Year=1992)

	@Article(
Pav92b,	Author={D.~Pavlovi\'c},
	Title="On the structure of paradoxes",
	BookTitle="Arch. Math. Logic", Pages="397-406", Volume=31, Year=1992)

	@TechReport(
Pav93,	Author={D.~Pavlovi\'c},
	Title={The {Chu} construction and cofree models of linear logic},
	Institution={McGill University}, Number=17, Month=Oct,
	Note={submitted}, Year=1993)

	@InProceedings(
Pav95a,	Author={D.~Pavlovi\'c},
	Title="Constructions and Predicates",
	BookTitle="Category Theory and Computer Science", Series=LNCS,
	Pages="173-179", Year="1991", Editor="D.Pitts et al",
	Publisher="Springer Verlag", Volume=530, Year=1995)

	@Article(
Pav95b,	Author={D.~Pavlovi\'c},
	Title="On completeness and cocompleteness in and around small
	categories", Journal="Ann. Pure and Applied Logic", Pages="121-152",
	Volume=74, Year=1995)

	@Article(
Pav95c,	Author={D.~Pavlovi\'c},
	Title="Maps {I}: {R}elative to a factorisation system",
	Journal="J. Pure and Applied Algebra", Pages="9-34",
	Volume=99, Year=1995)

	@Article(
Pav96a,	Author={D.~Pavlovi\'c},
	Title="Maps {II}: {C}hasing Diagrams in Categorical Proof Theory",
	Journal="Journal of the IGPL", Pages="159-194",
	Volume=4, Number=2, Month=Mar, Year=1996)

	@Article(
Pav96b,	Author={D.~Pavlovi\'c},
	Title="A categorical setting for the 4-Colour Theorem",
	Journal="J. Pure Appl. Algebra", Volume=102, Pages="75-108")

	@Article(
Pav97,	Author="D.~Pavlovi\'c",
	Title="Chu {I}: {C}ofree equivalences, dualities and $*$-autonomous
		categories",
	Journal="Math. Structures in Comp. Sci.",
	Volume=7, Number=1, Pages="49-73", Year=1997) 

	@Book(
PD26,	Author="Pasch, M. and Dehn, M.",
	Title="{Vorlesungen \"Uber Neuere Geometrie}, 2nd ed.",
	Publisher="Springer", Address="Berlin", Year=1926)

	@Book(
Pea89,	Author="Peano, G.",
	Title="Arithmetices Principia, Nova Methodo exposita",
	Publisher="Turin", Year=1889)

	@InCollection(
Pei,	Author="Peirce, C.S.",
	Title="Description of a notation for the logic of relatives,
	resulting from an amplification of the conceptions of {B}oole's
	calculus of logic",
	BookTitle="Collected Papers of Charles Sanders Peirce. {III}.
	{E}xact Logic", Publisher="Harvard University Press", Year=1933)

	@InProceedings(
Pe62,	Author="C.A. Petri",
	Title="Fundamentals of a Theory of Asynchronous Information Flow",
	BookTitle="Proc. IFIP Congress 62", Pages="386-390", Address="Munich",
	Publisher="North-Holland, Amsterdam", Year=1962)

	@InProceedings(
Pet86,	Author="Petri, C.A.",
	Title="Forgotten Topics in Net Theory",
	BookTitle="Petri Nets: Applications and Relationships to Other
	Models of Concurrency, {A}dvances in {P}etri Nets 1986",
	Series=LNCS, Volume=255,
	Address="Bad-Honnef", Publisher="Springer-Verlag", 
	Month=Sep, Year=1986)

	@Book(
Pie91,	Author="Pierce, B.C.",
	Title="Basic Category Theory for Computer Scientists",
	Publisher="MIT Press", Year=1991)

	@Article(
Pie08,	Author="Pieri, M.",
	Title="La geometria elementare istituita sulle nozioni di punto e
	sfera",
	Journal="Memorie di matematica e di fisica della Societ Italiana
	delle Scienze (series 3)", Volume=15, Pages="345-450",
	Year=1908)

	@InProceedings(
PW,	Author="Pinter, S.S. and Wolper, P.",
	Title="A Temporal Logic to Reason about Partially Ordered Computations",
	BookTitle="Proc. 3rd ACM Symp. on Principles of Distributed Computing",
	Address="Vancouver", Pages="28-37", Month=Aug, Year=1984)

	@Article(
Pl78,	Author="Plotkin, G.D.",
	Title="{$\Pi^\omega$} as a Universal Domain",
	Journal=JCSS, Volume=16, Year=1976)

	@incollection(
Plo80,	Author="Plotkin, G.D.",
	Title="Lambda definability in the full type hierarchy",
	BookTitle="To H.B. Curry:  Essays on Combinatory Logic,
		Lambda Calculus and Formalism",
	Editors="Seldin, J.P. and J.R. Hindley",
	Publisher="Academic Press", Pages="363--373", Year=1980)

	@Unpublished(
Plo94,	Author="G.D. Plotkin",
	Title="Notes on the {Chu} construction and Recursion",
	Note="Unpublished note",
	Month=Feb, Year=1994)

	@InProceedings(
PP92,	Author="Pinna, G Michele and Axel Poigne",
	Title="On the nature of events",
	BookTitle="Proc. 17th Symposium on Mathematical Foundations of
	Computer Science", Series=LNCS, Volume=629,
	Year=1992)

 	@InProceedings(
PP99,	Author="D.~Pavlovi\'c and V.~Pratt",
	Title="On coalgebra of real numbers",
	BookTitle="Proc. Coalgebraic Methods in Computer Science",
	Series="Electronic Notes in Theoretical Computer Science",
	Volume="19", Address="Amsterdam", Pages="133-147", Year=1999)

 	@Article(
PP02,	Author="D.~Pavlovi\'c and V.~Pratt",
	Title="The continuum as a final coalgebra",
	Journal=TCS, Volume=280, Number="1-2", Pages="105-122", 
	Year=2002)
 
	@InProceedings(
PS77,	Author="G.D. Plotkin and M.B. Smyth",
	Title="The Category-Theoretic Solution of Recursive Domain Equations",
	BookTitle="Proc. 18th IEEE Symposium on Foundations of Computer
	Science", Month=Oct, Year=1977)
 
	@InProceedings(
PS77,	Author="G.D. Plotkin and M.B. Smyth",
	Title="The Category-Theoretic Solution of Recursive Domain Equations",
	BookTitle="Proc. 18th IEEE Symposium on Foundations of Computer
	Science", Month=Oct, Year=1977)

	@TechReport(
PS78,	Author="G.D. Plotkin and M.B. Smyth",
	Title="The Category-Theoretic Solution of Recursive Domain Equations",
	Institution="D.A.I.", Number="Research Report No. 60", Year=1978)

	@InProceedings(
Pn,	Author="Pnueli, A.",
	Title="The Temporal Logic of Programs",
	BookTitle="18th IEEE Symposium on Foundations of Computer Science",
	Pages="46-57", Month=Oct, Year=1977)

	@Book(
Pop82,	Author="Popper, K.R.",
	Title="Quantum Theory and the Schism in Physics",
	Publisher="Unwin Hyman", Note="(Reprinted by Routledge 1992)",
	Year=1982)

	@Article(
Pos47,	Author="Post, E.L.",
	Title="Recursive Unsolvability of a Problem of Thue",
	Journal="J. Symbolic Logic", Volume=12, Pages="1-11", Year=1947)

	@Unpublished(
Pr74,	Author="Pratt, V.R.",
	Title="Semantics of Programming Languages",
	Note="Lecture notes for 6.892, M.I.T.", Month=Apr, Year=1974)

	@InProceedings(
Pr76,	Author="Pratt, V.R.",
	Title="Semantical Considerations on {Floyd}-{Hoare} Logic",
	BookTitle="Proc. 17th Ann. IEEE Symp. on Foundations of Comp. Sci.",
	Pages="109-121",  Month=Oct, Year=1976)

	@InProceedings(
Pr78,	Author="Pratt, V.R.",
	Title="A Practical Decision Method for Propositional Dynamic Logic",
	BookTitle="Proc. 10th Ann. ACM Symp. on Theory of Computing",
	Address="San Diego", Pages="326-337", Month=May, Year=1978)

	@InProceedings(
Pr79a,	Author="Pratt, V.R.",
	Title="Process Logic",
	BookTitle="Proc. 6th Ann. ACM Symposium on Principles of
		Programming Languages",
	Address="San Antonio", Pages="93-100", Month=Jan, Year=1979)

	@TechReport(
Pr79b,	Author="Pratt, V.R.",
	Title="Dynamic Algebras: Examples, Constructions, Applications",
	Number="MIT/LCS/TM-138",
	Institution="M.I.T. Laboratory for Computer Science", Month=Jul,
	Year=1979)

	@InProceedings(
Pr79c,	Author="Pratt, V.R.",
	Title="Models of program logics",
	BookTitle="20th Symposium on foundations of Computer Science",
	Address="San Juan", Month=Oct, Year=1979)

	@InProceedings(
Pr79d,	Author="Pratt, V.R.",
	Title="Axioms or Algorithms",
	BookTitle="Proc. 6th Symposium on Mathematical Foundations of
	Computer Science",
	Address="Olomouc, Czech.", Year=1979)

	@Article(
Pr80a,	Author="Pratt, V.R.",
	Title="A Near Optimal Method for Reasoning About Action",
	Journal=JCSS, Volume=2, Pages="231-254", Month=Apr, Year=1980,
	Note="Also MIT/LCS/TM-113, M.I.T., Sept. 1978")

	@InProceedings(
Pr80b,	Author="Pratt, V.R.",
	Title="Dynamic algebras and the nature of induction",
	BookTitle="12th ACM Symposium on Theory of Computation",
	Address="Los Angeles", Month=Apr, Year=1980)

	@Article(
Pr80c,	Author="Pratt, V.R.",
	Title="Application of Modal Logic to Programming",
	Journal="Studia Logica", Volume=34, Number="2/3", Pages="257-274",
	Year=1980)

	@InProceedings(
Pr80d,	Author="Pratt, V.R.",
	Title="On Specifying Verifiers",
	BookTitle="Proc. 7th Ann. ACM Symposium on Principles of
		Programming Languages",
	Address="Las Vegas", Month=Jan, Year=1980)

	@InProceedings(
Pr81,	Author="Pratt, V.R.",
	Title="Using Graphs to Understand {PDL}",
	BookTitle="Proc. Workshop on Logics of Programs 1981", Series=LNCS,
	Volume=131,
	Publisher="Spring-Verlag",
	Editor="Kozen, D.", Year=1981, Pages="387-396")

	@InProceedings(
Pr81b,	Author="Pratt, V.R.",
	Title="A Decidable Mu-Calculus",
	BookTitle="Proc. 22nd IEEE Conference on Foundations of Computer
	Science", Month=Oct, Year=1981, Pages="421-427")  

	@InProceedings(
Pr82,	Author="Pratt, V.R.",
	Title="On the Composition of Processes",
	BookTitle="Proceedings of the Ninth Annual ACM Symposium on
		Principles of Programming Languages",
	Month=Jan, Year=1982)

	@InProceedings(
Pr83a,	Author="Pratt, V.R.",
	Title="Five Paradigm Shifts in Programming Language Design
	and their Realization in the Programming Language {Viron}",
	BookTitle="Proc. 10th Ann. ACM Symposium on Principles of
	Programming Languages",
	Month=Jan, Year=1983)

	@InProceedings(
Pr83,	Author="Pratt, V.R.",
	Title="Two-Way Channel with Disconnect",
	BookTitle="The Analysis of Concurrent Systems:
		Proceedings of a Tutorial and Workshop",
	Series=LNCS, Volume=207, Pages="110-111",
	Publisher="Springer-Verlag", Year=1985)

	@Unpublished(
Pr83b,	Author="Pratt, V.R.",
	Title="Position Statement",
	Note="Circulated at the Panel on Mathematics of Parallel
	Processes, chair A.R.G. Milner, IFIP-83",
	Month=Sep, Year=1983)

	@InProceedings(
Pr84,	Author="Pratt, V.R.",
	Title="The Pomset Model of Parallel Processes: {Unifying} the Temporal
		and the Spatial",
	BookTitle="Proc. CMU/SERC Workshop on Analysis of Concurrency",
	Series=LNCS, Volume=197, Address="Pittsburgh",
	Publisher="Springer-Verlag", Pages="180-196", Year=1984)

	@InProceedings(
Pr85,	Author="Pratt, V.R.",
	Title="Some Constructions for Order-Theoretic Models of Concurrency",
	BookTitle="Proc. Conf. on Logics of Programs", Series=LNCS,
	Volume=193,
	Address="Brooklyn", Publisher="Springer-Verlag", Pages="269-283",
	Year=1985)

	@Article(
Pr86,	Author="Pratt, V.R.",
	Title="Modeling Concurrency with Partial Orders",
	Journal="Int. J. of Parallel Programming",
	Volume=15, Number=1, Pages="33-71", Month=Feb, Year=1986)

	@InProceedings(
Pr89a,	Author="Pratt, V.R.",
	Title="Enriched Categories and the {Floyd-Warshall} Connection",
	BookTitle="Proc. First International Conference on Algebraic
		Methodology and Software Technology",
	Pages="177-180", Address="Iowa City", Month=May, Year=1989)

	@InProceedings(
Pr90a,	Author="Pratt, V.R.",
	Title="Dynamic Algebras as a Well-behaved Fragment of Relation
	Algebras",
	BookTitle="Algebraic Logic and Universal Algebra in Computer Science",
		Series=LNCS, Volume=425,
	Editors="C.H. Bergman, R.D. Maddux, D.L. Pigozzi",
	Address="Ames, Iowa, June 1988", Pages="77-110",
	Publisher="Springer-Verlag", Year=1990)

	@InProceedings(
Pr90b,	Author="Pratt, V.R.",
	Title="Action Logic and Pure Induction",
	BookTitle="Logics in AI: European Workshop JELIA '90", Series=LNCS,
	Volume=478,
	Editor="J. van Eijck", Publisher="Springer-Verlag", Pages="97-120",
	Address="Amsterdam, NL", Month=Sep, Year=1990)

	@InProceedings(
Pr91a,	Author="Pratt, V.R.",
	Title="Modeling Concurrency with Geometry",
	BookTitle="Proc. 18th Ann. ACM Symposium on Principles of
	Programming Languages", Pages="311-322",
	Month=Jan, Year=1991)

	@InProceedings(
Pr91b,	Author="Pratt, V.R.",
	Title="Event Spaces and Their Linear Logic",
	BookTitle="AMAST'91: Algebraic Methodology and Software Technology",
	Publisher="Springer-Verlag", Series="Workshops in Computing",
	Pages="1-23", Address="Iowa City", Year=1992)

	@InProceedings(
Pr92a,	Author="Pratt, V.R.",
	Title="Arithmetic + Logic + Geometry=Concurrency",
	BookTitle="Proc. First Latin American Symposium on Theoretical
		Informatics", Series=LNCS, Volume=583,
	Pages="430-447", Publisher="Springer-Verlag",
	Address="S\~{a}o Paulo, Brazil", Month=Apr, Year=1992)

	@InProceedings(
Pr92b,	Author="Pratt, V.R.",
	Title="Origins of the Calculus of Binary Relations",
	BookTitle="Proc. 7th Annual IEEE Symp. on Logic in Computer Science",
	Address="Santa Cruz, CA", Month=Jun, Pages="248-254", Year=1992)

	@InProceedings(
Pr92c,	Author="Pratt, V.R.",
	Title="A Roadmap of Some Two-Dimensional Logics",
	BookTitle="Logic and Information Flow (Amsterdam 1991)", 
	Editor="Van Eijck, J. and Visser, A.", Pages="149-162",
	Publisher="MIT Press", Address="Cambridge, MA", Year="1994")

	@Article(
Pr92d,	Author="Pratt, V.R.",
	Title="Dynamic Algebras: Examples, Constructions, Applications",
	Journal="Studia Logica", Volume=50, Number="3/4",
	Pages="571-605", Year=1992)

	@InProceedings(
Pr92e,	Author="Pratt, V.R.",
	Title="The Duality of Time and Information",
	BookTitle="Proc. of CONCUR'92", Series=LNCS, Volume=630, Publisher="Springer-Verlag",
	Pages="237-253", Address="Stonybrook, New York", Month=Aug, Year=1992)

	@InProceedings(
Pr92f,	Author="Pratt, V.R.",
	Title="Quantum Logic, Linear Logic, and Constructivity",
	BookTitle="Computation of Physics workshop: collected abstracts",
	Address="Dallas", Month=Oct, Year=1992,
	Note="Superseded by published IEEE proceedings version, retitled
	{"}Linear Logic for Generalized Quantum Mechanics{"}")

	@InProceedings(
Pr93a,	Author="Pratt, V.R.",
	Title="Linear Logic for Generalized Quantum Mechanics",
	BookTitle="Proc. Workshop on Physics and Computation
	(PhysComp'92)", Address="Dallas", Publisher="{IEEE}",
	Pages="166-180", Year=1993)

	@InProceedings(
Pr93b,	Author="Pratt, V.R.",
	Title="The Second Calculus of Binary Relations",
	BookTitle="Proceedings of MFCS'93", Address="Gda{\'{n}}sk, Poland",
	Series=LNCS, Volume=711,
	Pages="142-155", Publisher="Springer-Verlag", Year=1993)

	@TechReport(
Pr94a,	Author="Pratt, V.R.",
	Title="Chu Spaces: complementarity and uncertainty in Rational
	Mechanics",
	Institution="TEMPUS Summer School", Address="Budapest",
	Note="Manuscript available as
	  {\small\tt http://boole.stanford.edu/pub/bud.pdf}",
	Month=Jul, Year=1994)

	@InProceedings(
Pr94b,	Author="Pratt, V.R.",
	Title="Chu Spaces: Automata with Quantum Aspects",
	BookTitle="Proc. Workshop on Physics and Computation
	(PhysComp'94)", Pages="186-195", Address="Dallas", Publisher="{IEEE}",
	Year=1994)

	@InProceedings(
Pr94c,	Author="Pratt, V.R.",
	Title="Time and Information in Sequential and Concurrent Computation",
	BookTitle="Proc. Theory and Practice of Parallel Programming
	(TPPP'94)", Address="Sendai, Japan", Pages="1-24",  Series=LNCS,
	Volume=907, Publisher="Springer-Verlag", Month=Nov, Year=1994)

	@InProceedings(
Pr95a,	Author="Pratt, V.R.",
	Title="Rational Mechanics and Natural Mathematics",
	BookTitle="TAPSOFT'95", Series=LNCS, Volume=915, Address="Aarhus,
	Denmark", Pages="108-122", Publisher="Springer-Verlag", Year=1995)

	@InProceedings(
Pr95b,	Author="Pratt, V.R.",
	Title="Anatomy of the Pentium Bug",
	BookTitle="TAPSOFT'95", Series=LNCS, Volume=915,
	Address="Aarhus, Denmark", Pages="97-107",
	Publisher="Springer-Verlag", Year=1995)

	@InProceedings(
Pr95c,	Author="Pratt, V.R.",
	Title="The {S}tone Gamut: A Coordinatization of Mathematics",
	BookTitle="Logic in Computer Science", Pages="444-454",
	Month="June", Publisher="IEEE Computer Society", Year="1995")

	@InCollection(
Pr95d,	Author="Pratt, V.R.",
	Title="Chu Spaces and Their Interpretation as Concurrent Objects",
	BookTitle="Computer Science Today: Recent Trends and
	Developments", Series=LNCS, Volume=1000, Pages="392-405",
	Editor="van Leeuwen, J.", Publisher="Springer-Verlag", Year="1995")

	@InProceedings(
Pr96a,	Author="Pratt, V.R.",
	Title="Broadening the Denotational Semantics of Linear Logic",
	BookTitle="Special Issue on Linear Logic 96",
	Series="ENTCS (Electronic Notes of Theoretical
		Computer Science)", Volume=3, Address="Tokyo", Year=1996)

	@InProceedings(
Pr96b,	Author="Pratt, V.R.",
	Title="Debate '90: An electronic discussion on true
	concurrency",
	BookTitle="Partial Order Methods in Verification (ed. D. Peled,
	V. Pratt, G. Holzmann), DIMACS Workshop", Pages="359-403",
	Series="DIMACS Series",
	Volume=29, Publisher="Am. Math. Soc.", Year=1996)

	@Article(
PR96,	Author="Par{\'e}, R. and Rom{\'a}n, L.",
	Title="Dinatural Numbers", Journal="J. Pure and Applied Algebra",
	Volume=128, Pages="33-92", Year=1998)

	@InProceedings(
Pr97a,	Author="Pratt, V.R.",
	Title="Towards Full Completeness of the Linear Logic of {Chu}
		Spaces",
	BookTitle="Electronic Notes in Theoretical Computer Science",
	Volume=6, Address="Pittsburgh", Year=1997,
	Note="URL: http://www.elsevier.nl/locate/entcs/volume6.html, 18 pages")

	@InProceedings(
Pr97c,	Author="Pratt, V.R.",
	Title="Types as processes, via {Chu} spaces",
	BookTitle="Electronic Notes in Theoretical Computer Science",
	Volume=7, Address="Santa Margherita", Year=1997,
	Note="URL: http://www.elsevier.nl/locate/entcs/volume7.html, 21 pages")

	@Article(
Pr99a,	Author="Pratt, V.R.",
	Title="Chu spaces from the representational viewpoint",
	Journal="Annals of Pure and Applied Logic (Parikh Festschrift)",
	Volume=96, Pages="319-313", Year=1999)

	@TechReport(
Pr99b,	Author="Pratt, V.R.",
	Title="Chu Spaces: Notes for School on Category Theory and
	    Applications",
	Institution="University of Coimbra", Address="Coimbra, Portugal",
	Note="Manuscript available as
	  {\small\tt http://boole.stanford.edu/pub/coimbra.pdf}",
	Month=Jul, Year=1999)

	@Article(
Pr00a,	Author="Pratt, V.R.",
	Title="Higher dimensional automata revisited",
	Journal="Math. Structures in Comp. Sci.",
	Volume=10, Pages="525-548", Year=2000)

	@Article(
Pr01a,	Author="Pratt, V.R.",
	Title="Distinguishing Sequentiality and Concurrency with
		the Geometry of Included Middle",
	Journal="Math. Structures in Comp. Sci.",
	Year=2001, Note="In review")

	@InProceedings(
Pr01b,	Author="Pratt, V.R.",
	Title="Orthocurrence as both Interaction and Observation",
	BookTitle="Proc. Workshop on Spatial and Temporal Reasoning (ed.
	R.~Rodriguez and F.~Anger), IJCAI'01", Address="Seattle",
	Month=Aug, Year=2001)

	@InProceedings(
Pr01c,	Author="Pratt, V.R.",
	Title="Software Geography: Physical and Economic Aspects",
	BookTitle="Proc. SOFSEM'01", Address="Bratislava", Month=Nov,
	Year=2001)


	@Article(
Pr02b,	Author="Pratt, V.R.",
	Title="Chu spaces as a semantic bridge between linear logic and
		mathematics",
	Journal=TCS, Volume=294, Number=3, Pages="439-471",
	Note="Selected papers from Linear Logic'96, Tokyo",
	Month=Feb, Year=2003)


	@InProceedings(
Pr02c,	Author="Pratt, V.R.",
	Title="Event-State Duality: the Enriched Case",
	Booktitle="Proc. CONCUR'02", Address="Brno", Month=Aug, Year=2002)

	@InProceedings(
Pr02d,	Author="Pratt, V.R.",
	Title="Comonoids in chu: a large cartesian closed sibling of
	topological spaces",
	Booktitle="Electronic Notes in Theoretical Computer Science",
	Volume=82, Issue=1, Address=Warsaw,
	Publisher="Elsevier", Editor="H. Peter Gumm", Year=2003)

	@Article(
Pr03a,	Author="Pratt, V.R.",
	Title="Transition and Cancellation in Concurrency and Branching Time",
	Journal="Math. Structures in Comp. Sci., special issue on
	the difference between sequentiality and concurrency",
	Volume=13, Number=4, Pages="485-529",
	urlps={http://boole.stanford.edu/pub/seqconc.pdf},
	Month=Aug, Year=2003)

	@Article(
Pr04,	Author="Pratt, V.R.",
	Title="An unexpectedly simple 2-categorical origin for {Chu}
	spaces",
	Year=2004)

	@Article(
Pr06,	Author="Pratt, V.R.",
	Title="Chu II: Couniversality of the Chu construction revisited",
	Year=2006)

	@article(
Pr09,	Author="Pratt, V.R.",
	Title="Factoring Heron",
	Journal="The College Mathematics Journal",
	Volume="40", Pages="15--16", Month=Jan, Year=2009)

	@Article(
Pri70,	Author="Priestley, H.A.",
	Title="Representation of distributive lattices",
	Journal="Bull. London Math. Soc.", Volume=2,
	Pages="186-190", Year=1970)

	@Article(
Pru24,	Author="Pr{\"u}fer, H.",
	Title="{Theorie der Abelschen Gruppen. I. Grundeigenschaften}",
	Journal="Math. Zeitschr.", Volume=20, Pages="165--187",
	Year=1924)

	@Book(
PT80,	Author="Pultr, A. and Trnkov{\'a}, V.",
	Title="Combinatorial, Algebraic and Topological Representations
	of Groups, Semigroups, and Categories",
	Publisher="North-Holland", Year=1980)

	@InCollection(
Qui,	Author="Quine, W.V.",
	Title="Natural Kinds",
	BookTitle="Naming, Necessity, and Natural Kinds",
	Editor="Schwartz, S.P.", Pages="155-175",
	Publisher="Cornell University Press", Address="Ithaca and London",
	Year=1977,
	Note="(Originally published in Hempel et al, {\em Essays in honor of
	  Carl G. Hempel}, Reidel, 1969; also in
	Quine, {\em Ontological Relativity and other essays}, Columbia
	University Press, 1969)")

	@InCollection(
Qui69,	Author="Quine, W.V.",
	Title="Natural Kinds",
	Booktitle="Essays in honor of Carl G. Hempel",
	Editor="Hempel, C.G. and Davidson, D. and Rescher, N.",
	Publisher="D. Reidel", Address={Berlin, Heidelberg},
	Pages="5--23", Year=1969)

	@InProceedings(
RA93,	Author={R. V. Rodriguez and F. D. Anger},
	Title={Constraint Propagation + Relativistic Time = More Reliable
	Concurrent Programs},
	Booktitle={Proc.\ of the Sixth International Conference on
	Industrial and Engineering Applications of Artificial Intelligence and
	Expert Systems IEA/AIE-93}, Address={Edinburgh, Scotland},
	Pages={236-239}, Keywords={}, Year=1993)

	@InCollection(
RA93b,	Author={R. V. Rodriguez and F. D. Anger},
	Title={An Analysis of the Temporal Relations of Intervals on
	Relativistic Space-Time},
	Booktitle={IPMU'92: Advanced Methods in Artificial Intelligence -
	Proc.\ of the 4th International Conference on Information Processing and
	Management of Uncertainty in Knowledge-Based Systems},
	Editor={B. Bouchon-Meunier and L. Valverde and R. R. Yager},
	Publisher={Springer}, Address={Berlin, Heidelberg},
	Pages={139-148}, Keywords={}, Year=1993)

	@InProceedings(
RA01,	Author={R. V. Rodriguez and F. D. Anger},
	Title="Branching Time via {Chu} Spaces",
	BookTitle="Proc. Workshop on Spatial and Temporal Reasoning (ed.
	R.~Rodriguez and F.~Anger), IJCAI'01", Address="Seattle",
	Month=Aug, Year=2001)

	@Article(
Rab87,	Author="Rabinovitch, A.",
	Title="Pomset Semantics is Consistent with Data Flow Semantics",
	Journal="EATCS Bulletin 32", year=1987)

	@Article(
RL,	Author="G. Ricci and T. Levi-Civita",
	Title="M{\'e}thodes de calcul differential absolu et leures
	applications",
	Journal="Mathematische Annalen", Volume=54, Pages="125-201", Year=1900)

	@Article(
RR91,	Author="L. Rom{\'a}n and B. Rumbos",
	Title="Quantum Logic Revisited",
	Journal="Foundations of Physics", Volume=21, Number=6,
	Pages="727-734", Year=1991)

	@InProceedings(
RS87,	Author="Rose, J. and Steele, G.",
	Title="C*: An extended C language for data parallel programming",
	Booktitle="Proceedings Second International Conference on
	Supercomputing", Volume=2, Pages="2-16", Month=May, Year=1987)

	@Article(
RT,	Author="A. Rabinovich and B.A. Trakhtenbrot",
	Title="Behavior Structures and Nets",
	Journal="Fundamenta Informatica",
	Volume=11, Number=4, Pages="357-404", Year=1988)

	@InProceedings(
RT88a,	Author="A. Rabinovich and B.A. Trakhtenbrot",
	Title="Nets of Processes and Data Flow",
	BookTitle="Linear Time, Branching Time and Partial Order in
	Logics and Models for Concurrency, REX'88", Series=LNCS,
	Volume=354,
	Address="Noordwijkerhout", Publisher="Springer-Verlag",
	Pages="574-602", Month=Jun, Year=1988)

	@Book(
RS63,	Author="Rasiowa, H. and Sikorski, R.",
	Title="The Mathematics of Metamathematics",
	Series="Polska Akademia Nauk. Monografie matematyczne",
	Address="Warsaw", Volume=41, Year=1963)

	@Article(
Red64,	Author="Redko, V.N.",
	Title="On Defining Relations for the Algebra of Regular Events
	({Russian})", Journal="Ukrain. Mat. Z.", Volume=16, pages="120-126",
	Year=1964)

	@Book(
Rei87,	Author="Reichel, H.",
	Title="Initial Computability, Algebraic Specifications, and
	Partial Algebras", Publisher="Oxford University Press", Year=1987)

	@Book(
Rei,	Author="Reisig, W.",
	Title="Petri Nets: An Introduction",
	Publisher="Springer-Verlag", Year=1985)

	@InProceedings(
Ren92,	Author="Rensink, A.",
	Title="Posets for Configurations!",
	BookTitle="Proc. of CONCUR'92", Series=LNCS, Volume=630, Publisher="Springer-Verlag",
	Pages="269-285", Address="Stonybrook, New York", Month=Aug, Year=1992)

	@InProceedings(
rep88,	AUTHOR="John Reppy",
	TITLE="Synchronous Operations as First-Class Values",
	BOOKTITLE="Programming Language Design and Implementation",
	pages="250-259", organization="SIGPLAN",
	publisher="ACM",
	YEAR=1988,
)

	@InProceedings(
rep91,	AUTHOR="John Reppy",
	TITLE="{CML}: A Higher-Order Concurrent Language",
	BOOKTITLE="Programming Language Design and Implementation",
	pages="293-259", organization="SIGPLAN",
	publisher="ACM",
	month=jun,
	YEAR=1991,
)

	@PhDThesis(
Rep92,	AUTHOR="John Reppy",
	TITLE="Higher-Order Concurrency",
	SCHOOL="Cornell University",
	address="", month=jun,
	note="Technical Report TR 92-1285",
	YEAR=1992)

	@Article(
RF,	Author="Robert, P. and Ferland, J.",
	Title="G\'en\'eralisation de l'algorithme de {W}arshall",
	Journal="Revue Fran\c caise d'Informatique et de
	Recherche Operationnelle", Volume=2, Number=7, pages="13-25", Year=1968)

	@PhDThesis(
Rid72,	Author="Riddle, W.",
	Title="The Modeling and Analysis of Supervisory Systems",
	School="Computer Science Dept., Stanford University",
	Note="174 pp.", Month=Mar, Year=1972)

	@TechReport(
Rid74,	Author="Riddle, W.",
	Title="The Equivalence of {Petri} Nets and Transmission Models",
	Institution="Computing Laboratory, University of Newcastle upon Tyne",
	Number="SRM/97", Month=Aug, Year=1974)

	@book{
Rio68,	author="J. Riordan",
	title="Combinatorial Identities",
	publisher="Wiley", year=1968} 

	@Article(
Rob58,	Author="Robertson, J.E.",
	Title="A New Class of Digital Division Methods",
	Journal="IRE Transactions on Electronic Computers",
	Volume="EC-7", Pages="218-222", Month=Sep, Year=1958)

	@Book(
Rob59,	Author="Robinson, G. de B.",
	Title="The Foundations of Geometry",
	Publisher="University of Toronto Press", Year=1959)

	@Book(
Rog67,	Author="Rogers, H.",
	Title="Theory of Recursive Functions and Effective Computability",
	Publisher="McGraw-Hill", Year=1967)

	@Article(
RW94,	Author="Rosebrugh, R. and Wood, R.J.",
	Title="An adjoint characterization of the category of sets",
	Journal="Proc. Amer. Math. Soc.",
	Volume=122, Number=2, Pages="409-413", Year=1994)

	@Book(
Ros90,	Author="Rosenthal, K.I.",
	Title="Quantales and their applications",
	Publisher="Longman Scientific and Technical", Year=1990)

	@Book(
Ros96,	Author="Rosenthal, K.I.",
	Title="The theory of quantaloids",
	Publisher="Longman Scientific and Technical", Year=1996)

	@InProceedings(
Rot73,	Author="Rota, G.-C.",
	Title="The Valuation Ring of a Distributive Lattice",
	BookTitle="Proc. Univ. of Houston Lattice Theory Conf.",
	Publisher="Dept. of Math., Univ. of Houston", Year=1973)

	@Article(
Roy59,	Author="Roy, B.",
	Title="Transitivit\'e et connexit\'e",
	Journal="Comptes Rendues Acad. Sci.", Volume=249, Pages="216-218",
	Year=1959)

	@InCollection(
Roy89,	Author="Halsey Royden",
	Title="A history of mathematics at Stanford",
	BookTitle="A Century of Mathematics in America, AMS",
	Volume=II, Pages="237-277", Year=1989)

	@InProceedings(
Rus89,	Author="Russell, J.",
	Title="Full Abstraction for Nondeterministic Dataflow Networks",
	BookTitle="Proc. 30th IEEE Symposium on Foundations of Computer
	Science", Month=Oct, Year=1989)

	@Article(
Rus00,	Author="Russell, B.",
	Title="The Logic of Relations",
	Journal="Rivista di Matematica", Volume="{VII}", Pages="115-148",
	Year=1900)

	@Book(
Rus27,	Author="Russell, B.",
	Title="The analysis of matter",
	Publisher="Paul, Trench, Trubner (also Dover 1955)", Year=1927)

	@Book(
RW,	Author="Russell, B. and Whitehead, A.N.",
	Title="Principia Mathematica",
	Publisher="Cambridge University Press",
	Edition="Third", Year=1935)

	@Book(
RB88,	Author="Rydeheard, D.E. and Burstall, R.M.",
	Title="Computational Category Theory",
	Publisher="Prentice-Hall", Year=1988)

	@Article(
Sal66,	Author="Salomaa, A.",
	Title="Two Complete Axiom Systems for the Algebra of Regular Events",
	Journal=JACM, Volume=13, Pages="158-169", Year=1966)

	@Article(
Sal70,	Author="Salwicki, A.",
	Title="Formalized Algorithmic Languages",
	Journal="Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys.",
	Volume=18, Number=5, Year=1970)

	@PhDThesis(
Sar89,	Author="Saraswat, V.",
	Title="Concurrent constraint programming languages",
	School="Carnegie Mellon University", Year=1989)

	@InProceedings(
SC96,	Author="Sassone, V. and Cattani, G. L.",
	Title="Higher-Dimensional Transition Systems",
	BookTitle="Proceedings of LICS'96",
	Year=1996)

	@Book(
Sch97,	Author="Schecter, E.",
	Title="Handbook of Analysis and Its Foundations",
	Publisher="Academic Press", Year=1997)

	@Article(
Sch24,	Author="Sch{\"o}nfinkel, M.",
	Title="{\"U}ber die Bausteine der mathematischen Logik",
	Journal="Math. Annalen", Volume=92, Pages="305-316", Year=1924)

	@Book(
Schr95,	Author="Schr{\"o}der, E.",
	Title="Vorlesungen {\"u}ber die {A}lgebra der {L}ogik ({E}xakte
	{L}ogik).  {D}ritter {B}and: {A}lgebra und {L}ogik der
	{R}elative", Publisher="B.G. Teubner", Address="Leipzig", Year=1895)

	@InProceedings(
Sco72,	Author="Scott, D.",
	Title="Continuous Lattices",
	BookTitle="Proc. 1971 Dalhousie Conference", Series=LNM, Volume=274,
	Pages="97-136", Publisher="Springer-Verlag", Year=1972)

	@Article(
Sco76,	Author="Scott, D.",
	Title="Data Types as Lattices",
	Journal=SICOMP, Volume=5, Number=3, Pages="522-587",
	Year=1976)

	@article{
SeelyRAG:cccul,	author={Richard Blute and J. R. B. Cockett and R. A. G. Seely},
	title={Categories for computation in context and unified
	       logic},
	volume={116},
	pages={49-98},
	year={1997},
	journal={Journal of Pure and Applied Algebra},
	urlps={http://triples.math.mcgill.ca/~rags/bang/context1.ps.gz}}

	@article{
SeelyRAG:sats,	author={Richard Blute and J. R. B. Cockett and R. A. G. Seely},
	title={{!} and {?} Storage as Tensorial Strength},
	volume={6},
	number={4},
	pages={313-351},
	year={1996},
	journal={Mathematical Structures in Computer Science},
	urlps={http://triples.math.mcgill.ca/~rags/bang/bang.ps.gz}}

	@article{
SeelyRAG:ndcwdc,	author={Richard Blute and J. R. B. Cockett and R. A. G. Seely and T. H. Trimble},
	title={Natural Deduction and Coherence for Weakly
	       Distributive Categories},
	year={1996},
	pages={229-296},
	number={3},
	volume={13},
	journal={Journal of Pure and Applied Algebra},
	urlps={http://triples.math.mcgill.ca/~rags/nets/nets.ps.gz}}

	@article{
CS97,	author={J. R. B. Cockett and R. A. G. Seely},
	title={Proof Theory for full intuitionistic linear logic, 
	       bilinear logic, and MIX categories},
	year={1997},
	pages={85-131},
	number={5},
	volume={3},
	journal={Theory and Applications of categories},
	urlps={http://triples.math.mcgill.ca/~rags/nets/fill.ps.gz}}

	@article{
SeelyRAG:wdc,	author={J. R. B. Cockett and R. A. G. Seely},
	title={Weakly Distributive Categories},
	year={1997},
	pages={133-173},
	number={2},
	volume={14},
	journal={Journal of Pure and Applied Algebra},
	urlps={http://triples.math.mcgill.ca/~rags/linear/wdc.ps.gz}}

	@inproceedings{
SeelyRAG:wdc1,	author={J. R. B. Cockett and R. A. G. Seely},
	title={Weakly Distributive Categories},
	booktitle={Proc. LMS Symp. on the Applications of Category Theory
	       in Computer Science},
	address={Durham},
	editor={P. T. Johnstone},
	year=1991}

	@unpublished{
SeelyRAG:fsmlet,	author={Richard Blute and Prakash Panangaden and R. A. G.
	       Seely},
	title={{Fock} Space: {A} Model of Linear Exponential Types},
	year=1994,
	note={Manuscript, revised version of MFPS IX paper},
	urlps={http://triples.math.mcgill.ca/~rags/fock/fock.ps.gz}}

	@inproceedings{
SeelyRAG:hmetll,	author={Richard Blute and Prakash Panangaden and R. A. G.
	       Seely},
	title={Holomorphic Models of Exponential types in Linear
	       Logic},
	booktitle={Proceedings of the Nineth International Conference on
	       Mathematical Foundations of Programming Semantics},
	address={New Orleans, Louisiana},
	month={April},
	year=1993,
	pages={474--512},
	editor={S. Brookes and M. Main and A. Melton and M. Mislove
	       and D. Schmidt}}

	@article{
SeelyRAG:lvccp,	author={N. Mendler, P. Panangaden, P.J. Scott, and R. A. G. Seely},
	title={A Logical View of Concurrent Constraint Programming},
	volume={2},
	pages={181--220},
	year={1995},
	journal={Nordic J. Computing},
	urlps={http://triples.math.mcgill.ca/~rags/ccp/mpss.ps.gz}}

	@inproceedings{
SeelyRAG:hvccp,	author={P. Panangaden, V.J. Saraswat, P.J. Scott, and R. A. G. Seely},
	title={A Hyperdoctrinal View of Concurrent Constraint Programming},
	booktitle={Semantics: Foundations and Applications},
	place={Beekbergen, NL},
	dates={June, 1992},
	year=1993,
	editor={J.W. de Bakkee et al},
	series={Lecture Notes in Computer Science},
	volume=666,
	publisher={Springer-Verlag},
	address={Berlin},
	pages={457--476},
	urlps={http://triples.math.mcgill.ca/~rags/ccp/psss.ps.gz}}

	@article{
SeelyRAG:lcptr,	author={J. N. Crossley, G. L. Mathai, and R. A. G. Seely},
	title={A Logical Calculus for Polynomial-time Realizability},
	volume={1},
	number={3},
	pages={279--298},
	year={1994},
	journal={Methods of Logic in Computer Science},
	urlps={http://triples.math.mcgill.ca/~rags/ptime/ptime.ps.gz}}

	@inproceedings{
SeelyRAG:gmptr,	author={R. A. G. Seely},
	title={Graded Multicategories of Polynomial-time Realizers},
	booktitle={Category Theory and Computer Science},
	place={Manchester, UK},
	dates={September, 1989},
	year=1989,
	editor={D. H. Pitt et al},
	series={Lecture Notes in Computer Science},
	volume=389,
	publisher={Springer-Verlag},
	address={Berlin},
	pages={182--197},
	urlps={http://triples.math.mcgill.ca/~rags/ptime/ptreal.ps.gz}}

	@inproceedings{
See89,	author={Seely, Robert A. G.},
	title={Linear logic, $*$-autonomous categories and cofree coalgebras},
	booktitle={Categories in Computer Science and Logic},
	place={Boulder, Colorado},
	dates={June 14--20, 1987},
	year=1989,
	editor={John W. Gray and Andre Scedrov},
	series={Contemporary Mathematics},
	volume={92},
	publisher={American Mathematical Society},
	address={Providence, Rhode Island},
	pages={371--382},
	urlps={http://triples.math.mcgill.ca/~rags/nets/llsac.ps.gz},
	checked={7 November 1990}}

	@article{
SeelyRAG:cshoplc,	author={R. A. G. Seely},
	title={Categorical Semantics for Higher Order Polymorphic
	       Lambda Calculus},
	journal={Journal of Symbolic Logic},
	volume={52},
	number={4},
	pages={969--988},
	checked={Yes},
	month={dec},
	year=1987}

	@inproceedings{
SeelyRAG:lccctt,	author={R. A. G. Seely},
	title={Locally cartesian closed categories and type theory},
	organization={Cambridge Philosophical Society},
	booktitle={Mathematical Proceedings of the
	       Cambridge Philosophical Society},
	volume={95},
	pages={33--48},
	year={1984},
	checked={yes}}

	@inproceedings{
SeelyRAG:mccf,	author={R. A. G. Seely},
	title={Modelling Computations: A 2-Categorical Framework},
	pages={65--71},
	crossref={MeyerAR,LICS2}}

	@unpublished{
SeelyRAG:plltm,	author={R. A. G. Seely},
	title={Polymorphic Linear Logic and Topos Models},
	year={1990},
	month={February},
	note={C.R. Math. Rep. Acad. Sci. Canada - Vol {XII}, No. 1},
	urlps={http://triples.math.mcgill.ca/~rags/nets/polylin.ps.gz}}

	@proceedings{
SeelyRAG:ct91,	editor={R. A. G. Seely},
	title={Category Theory 1991, Proceedings, 
	Montreal Category Theory Meeting, 1991},
	booktitle={Category Theory 1991, Proceedings},
	year={1991},
	organization={Canadian Mathematical Society},
	isbn={0-8218-6018-6},
	lib-congress={92-24186},
	location={Montreal, QC}}

	@Article(
Seg77,	Author="Segerberg, K.",
	Title="A Completeness Theorem in the Modal Logic of Programs",
	Journal="Notices of the AMS", Volume=24, Number=6, Pages="A-552",
	Month=Oct, Year=1977)

Sha82,	Author="Shanin, N.",
	Title="On canonical recursive functions and operations",
	Journal="J. Soviet Math.", Volume=20,
	Note="Russian original: Seminars in Math., Leningrad Div. of
	Steklov Inst. 88 (1979), 218-235", Year=1982)

	@Unpublished(
SB94,	Author="Sharangpani, H.P. and Barton, M.L.",
	Title="Statistical Analysis of Floating Point Flaw in the
	{Pentium}$^{TM}$ Processor (1994)",
	Note="Available on {World-Wide Web} as
		http://www.intel.com/product/pentium/white11/index.html",
	Institution="Intel Corporation", Month=Nov, Year=1994)

	@InProceedings(
Shi85,	Author="Shields, M.",
	Title="Deterministic Asynchronous Automata",
	BookTitle="Formal Models in Programming",
	Editor="Neuhold, E.J. and Chroust, G.",
	Publisher="Elsevier Science Publishers, B.V. (North Holland)",
	Year=1985)

	@Article(
Sho97,	Author="Shor, P.",
	Title="Polynomial-time algorithms for prime factorization
	and discrete logarithms on a quantum computer",
	Journal="SIAM J. Computing", Volume=26, Pages="1484-1509", Year=1997) 

	@Book(
Sik60,	Author="Sikorski, R.",
	Title="Boolean Algebras",
	Publisher="Springer-Verlag", Year=1960)

	@Book(
Sim87,	Author="Simon, P.M.",
	Title="Parts. An Essay in Ontology",
	Publisher="Clarendon Press", Address="Oxford", Year=1987)

	@Book(
Slo73,	Author="Sloane, N.J.A.",
	Title="A Handbook of Integer Sequences",
	Publisher="Academic Press", Year=1973)

	@InProceedings(
SM98,	Author="Smith, B. and Mark, D.M.",
	Title="Ontology and Geographic Kinds",
	BookTitle="International Symposium on Spatial Data Handling {(SDH'98)}",
	Address="Vancouver, Canada", Year=1998)

	@Article(
Sob95,	Author="Sobczyk, G.",
	Title="The Hyperbolic Number Plane",
	Journal="The College Mathematics Journal", Volume=26,
	Number=4, Pages="268-280", Year=1995)

	@Article(
Sol83,	Author="Soloviev, S.",
	Title="The category of finite sets and cartesian closed categories",
	Journal="Journal of Soviet Mathematics", Volume=22,
	Pages="1387-1400", Year=1983)

	@Article(
SPV00,	Author="Smith, D.R. et al",
	Title="Composite Medium with Simultaneously Negative
	Permeability and Permittivity",
	Journal="Physical Review Letters", 
	Pages="4184-4187", Month=May, Year=2000)

	@Book(
SS78,	Author="Salomaa, A. and Soittola, M.",
	Title="Automata-Theoretic Aspects of Formal Power Series",
	Publisher="Springer-Verlag", Address="New York", Year=1978)

	@Book(
SS89,	Author="G. Schmidt and T. Strohlein",
	Title="Relationen und Graphen",
	Publisher="Springer-Verlag", Address="Berlin", Year=1989)

	@Article(
Sta85,	Author="Statman, R.",
	Title="Logical relations and the typed lambda calculus",
	Journal="Information and Control", Volume="65", Pages="85--97",
	Year="1985")

	@Book(
Sti80,	Author="Stillwell, John",
	Title="Classical topology and combinatorial group theory",
	Publisher="Springer-Verlag", Year=1980)

	@Book(
Sto63,	Author="Stoll, R.R.",
	Title="Set Theory and Logic",
	Publisher="W.H. Freeman, 1963, reprinted Dover", Year=1979)

	@Article(
Sto36,	Author="Stone, M.",
	Title="The theory of representations for {B}oolean algebras",
	Journal="Trans. Amer. Math. Soc.", Volume=40, Pages="37-111", Year=1936)

	@Article(
Sto37,	Author="Stone, M.",
	Title="Topological representations of distributive lattices and
	Brouwerian logics",
	Journal="\v Casopis P\v est. Math.", Volume=67, Pages="1-25",
	Year=1937)

	@Article(
Str87,	Author="Street, R.",
	Title="The algebra of oriented simplexes",
	Journal="Journal of Pure and Applied Algebra", Volume=49,
	Pages="283-335", Year=1987)

	@Unpublished(
Str88,	Author="Street, R.",
	Title="Parity Complexes",
	Note="Report No. 88-0015, School of Mathematics and Physics,
	Macquarie University", Year=1988)

	@MastersThesis(
Str80,	Author="R.~S. Streett" ,
	Title="A Propositional Dynamic Logic for Reasoning about Program
		Divergence", School=MIT, Year=1980)

	@article(
Str82,	Author="R.~S. Streett" ,
	Title="Propositional Dynamic Logic of Looping and Converse is
	Elementary Decidable",
	Journal=IC, Volume=54, Pages="121-141", Year=1982)

	@inproceedings(
SE84,	Author="A.~P. Streett and A.~E. Emerson",
	Title="The Propositional $\mu$-Calculus is Elementary",
	Organization="Lecture Notes in Computer Science 172",
	BookTitle=ICALP84, Pages="465-472", Year=1984)

	@InProceedings(
SRMA,	Author="Spitzer, M.B. and Rensing, N.M. and McClelland, R. and
		Aquilino, P.",
	Title="Eyeglass-mounted displays for wearable computing",
	BookTitle="Int. Symp. on Wearable Computers", Address="Boston",
	Month=Oct, Year=1997)

	@InProceedings(
SWP,	Author="Starner, T. and Weaver, J. and Pentland, A.",
	Title="A Wearable Computer Based {A}merican Sign Language
	Recognizer",
	BookTitle="Int. Symp. on Wearable Computers", Address="Boston",
	Month=Oct, Year=1997)

	@InCollection(
Swo00,	Author="Swoyer, C.",
	Title="Properties",
	BookTitle="Stanford Encyclopedia of Philosophy",
	Publisher="Stanford University", Year=2000)

	@Book(
Szm83,	Author="Szmielew, W.",
	Title="From Affine to {E}uclidean Geometry: {A}n axiomatic approach",
	Publisher="D. Reidel", Address="Dordrecht, Holland", Year=1983)

	@Article(
Szp30,	Author="Szpilrajn, E.",
	Title="Sur l'extension de l'ordre partiel",
	Journal="Fund. Math.", Volume=16, Pages="386-389", Year=1930)

	@InProceedings(
Tak96,	Author="Takayama, Y.",
	Title="Extraction of Concurrent Processes from Higher-Dimensional
		Automata", BookTitle="Proceedings of CAAP'96",
	Pages="72--85", Year=1996)
 
	@InProceedings(
Tak95,	Author="Takayama, Y.",
	Title="Cycle Filling as Parallelization with Expansion Law",
	BookTitle="submitted to publication",
	Year=1995)

	@InProceedings(
Tar85,	Author="Andrzej Tarlecki",
	Title="Bits and Pieces of the Theory of Institutions",
	BookTitle="Category Theory and Computer Programming",
	Address="Guildford, UK", Series="Lecture Notes in Computer Science~240",
	Publisher="Springer-Verlag", Pages="334-363", Year=1985)

	@Article(
Tar41,	Author="Tarski, A.",
	Title="On the Calculus of Relations",
	Journal="J. Symbolic Logic", Volume=6,
	Pages="73-89", Year=1941)

	@Article(
Tar55,	Author="Tarski, A.",
	Title="Contributions to the theory of models.  {III}.",
	Journal="Indag. Math", Volume=17, Pages="56-64", Year=1955)

	@InCollection(
Tar59,	Author="Tarski, A.",
	Title="What is elementary geometry?",
	Booktitle="The Axiomatic Method, with Special Reference to
	Geometry and Physics",
	Editor="Henkin, L. and Suppes, P. and Tarski, A.",
	Publisher="North Holland",
	Year=1959)

	@Book(
TG87,	Author="Tarski, A. and Givant, S.",
	Title="A Formalization of Set Theory Without Variables",
	Publisher="American Math. Soc.", Year=1987)

	@Article(
Toc58,	Author="Tocher, T.D.",
	Title="Techniques of multiplication and division for binary computers",
	Journal="Quarterly J. of Applied Math", Volume=2,
	Pages="364-384", Year=1958)

	@InProceedings(
Tra95,	Author="Trakhtenbrot, B.",
	Title="Origins and Metamorphoses of the trinity: logic, nets,
		automata",
	BookTitle="Logic in Computer Science",
	Month="June", Year="1995", Editor="D. Kozen",
	Pages="506--507", Publisher="IEEE Computer Society")

	@Article(
Trn66,	Author="Trnkov{\'a}, V.",
	Title="Universal Categories",
	Journal="Comment. Math. Univ.Carolinae", Volume=7,
	Pages="143-206", Year=1966)

	@Book(
Tru91,	Author="Truesdell, C.",
	Title="A first course in rational continuum mechanics",
	Publisher="Academic Press", Year=1991)

	@Article(
Tsc94,	Author="Tschantz, S.T.",
	Title="Languages under concatenation and shuffling",
	Journal="Math. Structures in Comp. Sci.",
	Volume=4, Number=4, Pages="505-511", Month=Dec, Year=1994)

	@InProceedings(
TTG,	Author="Bruce Thomas and Susan Tyerman and Karen Grimmer",
	Title="Evaluation of Three Input Mechanisms for Wearable
	Computers",
	BookTitle="Int. Symp. on Wearable Computers", Address="Boston",
	Month=Oct, Year=1997)

	@InProceedings(
Tur50,	Author="Turing, A.",
	Title="Checking a Large Routine",
	BookTitle="Rep. Conf. High Speed Automatic Calculating Machines",
	Address="Inst. of Comp. Sci.  Univ. of Toronto, Ontario, Can.",
	Month=Jan, Year=1950)

	@TechReport(
Unr94,	Author="Unruh, W.G.",
	Title="Maintaining Coherence in Quantum Computers",
	Institution="University of Vancouver",
	Note="hep-th@xxx.lanl.gov/9406058",
	Month=Jul, Year=1994)

	@Article(
Urq78,	Author="Urquhart, A.",
	Title="A topological representation theory for lattices",
	Journal="Algebra Universalis", Volume=8, Pages="45-58", Year=1978)

	@TechReport(
Vaa88,	Author="Vaandrager, F.W.",
	Title="A Simple Definition for Parallel Composition of Prime Event
	Structures",
	Number="CS-R8903", Institution="Centrum voor Wiskunde en Informatica",
	Note="Submitted to Fundamentae Informaticae",
	Address="Amsterdam", Year=1989)

	@Article(
Veb04,	Author="Veblen, O.",
	Title="A system of axioms for geometry",
	Journal="Transactions of the American Mathematical Society",
	Volume=5, Pages="343-384", Year=1904)

	@Article(
VG,	Author="Van Gelder, A.",
	Title="A Satisfiability Tester for Non-clausal Propositional
	Calculus", Journal="Information and Computation", Volume=79,
	Number=1, Month=Oct, Year=1988)

	@Article(
VW86a,	Author="Vardi, M.Y. and Wolper, P.",
	Title="Automata-theoretic techniques for modal logic of programs",
	Journal=JCSS, Volume=32, Pages="183-221", Year=1986)

	@InProceedings(
VW86a,	Author="Vardi, M.Y. and Wolper, P.",
	Title="An automata-theoretic approach to automatic program
		verification.",
	BookTitle="Proc. IEEE Symp. on Logic in Computer Science",
	Address="Boston", Pages="332-344", Month=Jul, Year=1986)

	@Book(
Var68,	Author="Varadarajan, V.S.",
	Title="Geometry of Quantum Theory",
	Publisher="Springer-Verlag", Edition="Second", Year=1968)

	@InProceedings(
Var,	Author="Vardi, M.Y.",
	Title="Verification of concurrent programs - the automata-theoretic
		framework",
	BookTitle="Proc. 2nd Annual IEEE Symp. on Logic in Computer Science",
	Address="Ithaca, NY", Pages="167-176", Month=Jun, Year=1987)

	@Book(
VB,	Author="Van Benthem, J.F.A.K.", 
	Title="The Logic of Time", Publisher="Reidel", Year=1983)

	@Book(
Vic89,	Author="Vickers, S.",
	Title="Topology via Logic", Publisher="Cambridge University Press",
	Year=1989)

	@Book(
Vit91,	Author="Vitanyi, P.",
	Title="An Introduction to Kolmogorov Complexity and Its
	Applications",
	Publisher="Addison-Wesley", Address="Reading, Mass", Year=1991)

	@Book(
Wal92,	Author="Walters, R.F.C.",
	Title="Categories and Computer Science",
	Publisher="Cambridge University Press", Year=1989)

	@Article(
Wand,	Author="Wand, M.",
	Title="Fixed-Point Constructions in Order-Enriched Categories",
	Journal="TCS", Volume=8, Number=1, Pages="13-30", Year=1979)

	@Article(
WD,	Author="Ward, M. and R.P. Dilworth",
	Title="Residuated Lattices",
	Journal="Trans. AMS", Volume=45, Pages="335-354", Year=1939)

	@Article(
War62,	Author="Warshall, S.",
	Title="A theorem on {B}oolean matrices",
	Journal=JACM, Volume=9, Number=1, Pages="11-12", Year=1962)

	@InCollection(
Wat86,	Author="Watson, R.A.",
	Title="Descartes and {Cartesianism}",
	BookTitle={The New Encylopaedia Britannica},
	Publisher="Encyclopaedia Britannica, Inc.", Year=1986)

	@Article(
Whi49,	Author="Whitehead, J.H.C",
	Title="Combinatorial homotopy {I}",
	Journal="Bull. Amer. Math. Soc.", Volume=55, Pages="213-245",
	Year=1949)

	@Book(
Whi78,	Author="Whitehead, G.W",
	Title="Elements of Homotopy Theory",
	Publisher="Springer-Verlag", Year=1978)

	@Book(
Wh,	Author="Whitrow, G.J.",
	Title="The Natural Philosophy of Time, 2nd ed.",
	Publisher="Oxford University Press", Year=1980)

	@Article(
Wink,	Author="Winkowski, J.",
	Title="Behaviors of Concurrent Systems",
	Journal=TCS, Volume=11, Number="39-60", Year=1980)

	@PhDThesis(
Win80,	Author="Winskel, G.",
	Title="Events in Computation", Number="CST-10-80",
	School="Dept. of Computer Science, University of Edinburgh",
	Year=1980)

	@InProceedings(
Win82,	Author="Winskel, G.",
	Title="Event Structure Semantics for {CCS} and Related Languages",
	BookTitle="Proc. 9th ICALP", Series=LNCS, Volume=140, Pages="561-576",
	Publisher="Springer-Verlag", Year=1982)

	@InProceedings(
Win84a,	Author="Winskel, G.",
	Title="A New Definition of Morphism on {Petri} Nets",
	BookTitle=LNCS, Volume=166,
	Publisher="Springer-Verlag", Year=1984)

	@InProceedings(
Win84b,	Author="Winskel, G.",
	Title="Categories of Models for Concurrency",
	BookTitle="Proc. CMU/SERC Workshop on Analysis of Concurrency",
		Series=LNCS, Volume=197,
	Address="Pittsburgh", Publisher="Springer-Verlag", Year=1984)

	@Article(
Win85,	Author="Winskel, G.",
	Title="Synchronization Trees", Journal=TCS, Month=May, Year=1985)

	@InProceedings(
Win86,	Author="Winskel, G.",
	Title="Event Structures",
	BookTitle="Petri Nets: Applications and Relationships to Other
	Models of Concurrency, {A}dvances in {P}etri Nets 1986",
	Series=LNCS, Volume=255,
	Address="Bad-Honnef", Publisher="Springer-Verlag", 
	Month=Sep, Year=1986)

	@InProceedings(
Win88,	Author="Winskel, G.",
	Title="A Category of Labelled {P}etri Nets and Compositional Proof
	System",
	BookTitle="Proc. 3rd Annual Symposium on Logic in Computer Science",
	Address="Edinburgh", Publisher="Computer Society Press",
	Year=1988)

	@InProceedings(
Win88b,	Author="Winskel, G.",
	Title="An Introduction to Event Structures",
	BookTitle="Linear Time, Branching Time and Partial Order in
	Logics and Models for Concurrency, REX'88", Series=LNCS,
	Volume=354,
	Address="Noordwijkerhout", Publisher="Springer-Verlag",
	Month=Jun, Year=1988)

	@Article(
Wol74,	Author="Wolff, H.",
	Title="V-Cat and V-Graph",
	Journal="J. Pure and Applied Algebra",
	Volume=4, Pages="123-135", Year=1974)

	@Article(
Woo89,	Author="Woodcock, J.C.P.",
	Title="Calculating Properties of Z Specifications",
	Journal="ACM SIGSOFT Software Engineering Notes",
	Volume=14, Number=5, Pages="43-54", Month=Jul, Year=1989)

	@InProceedings(
Wra89,	Author="G.C. Wraith",
	Title="A Note on Categorical Datatypes",
	BookTitle="Category Theory and Computer Science", Series=LNCS,
	Volume=389,
	Year="1989", Editor="D.Pitts et al", Publisher="Springer Verlag")

	@Book(
Wri08,	Author="Wright, E.",
	Title="The case for qualia",
	Publisher="MIT Press", Address="Boston", Year="2008")

	@Article(
Yet90,	Author="Yetter, D.N.",
	Title="Quantales and (noncommutative) linear logic",
	Journal="J. Symbolic Logic", Volume=55, Number=1, Pages="41-64",
	Year=1990)

	@Article(
Zhe27,	Author="Zhegalkin, I.I.",
	Title="On the Technique of Calculating Propositions in Symbolic Logic",
	Journal="Matematicheskii Sbornik", Volume=43, Pages="9-28", Year=1927)

	@Article(
zie87,	Author="Zielonka, W.",
	Title="Notes on finite asynchronous automata",
	Journal=RAIRO, Volume=21, Year="1987", Pages="99-135")

	@InProceedings(
zie89,	Author="Zielonka, W.",
	Title="Safe executions of recognizable trace languages by asynchronous
	automata",
	BookTitle="Proceedings Symposium on Logical Foundations of Computer
	Science, Logic at Botik '89, Pereslavl-Zalessky (USSR) 1989",
	Editor="Mayer, A. R. and others ",
	Publisher="Springer, Berlin-Heidelberg-New York",
	Series="Lecture Notes in Computer Science {\rm 363}",
	Year="1989", Pages="278-289")