@string{cacm = "Communications of the {ACM}"}
@string{jlp = "The Journal of Logic Programming"}
@string{ncg = "New Generation Computing"}
@string{joop = "Journal of Object-Oriented Programming"}
@string{sigplan = "{ACM} {SIGPLAN} Notices"}
@string{mit = "The {MIT} Press"}
@string{springer = "Springer-Verlag"}
@string{lncs = "Lecture Notes in Computer Science"}
@string{compsurv = "{ACM} Computing Surveys"}
@string{toplas = "{ACM} Transactions on Programming Languages and Systems"}
@string{complang = "Institut f{\"{u}}r Computersprachen, Technische Universit{\"{a}}t Wien"}


@InProceedings{AMST92,
  author = 	 "Gul Agha and Ian A. Mason and Scott Smith and
		  Carolyn Talcott",
  title = 	 "Towards a Theory of Actor Computation",
  booktitle = 	 "Proceedings {CONCUR}'92",
  number =	 630,
  series =	 lncs,
  year =	 1992,
  publisher =	 springer,
  pages =	 "565--579"
}

@Booklet{Ada95,
  title = 	 "Annotated Ada Reference Manual",
  key =		 "{ISO/IEC}",
  author =	 "{ISO/IEC 8652:1995}",
  howpublished = "Intermetrics, Inc.",
  year =	 1995
}

@Book{AgWY93,
  editor = 	 "Gul Agha and Peter Wegner and Akinori Yonezawa",
  title = 	 "Research Directions in Concurrent Object-Oriented Programming",
  publisher = 	 mit,
  year = 	 1993
}

@Book{Agha86,
  author = 	 "Gul Agha",
  title = 	 "Actors: A Model of Concurrent Computation in Distributed Systems",
  publisher = 	 mit,
  year = 	 1986
}

@Article{AiPo93,
  author = 	 "Hassan A{\"{\char'20}}t-Kaci and Andreas Podelski",
  title = 	 "Towards a Meaning of {LIFE}",
  journal = 	 jlp,
  year = 	 1993,
  volume =	 16,
  pages =	 "195--234"
}

@InProceedings{AmCa91,
  author = 	 "Roberto M. Amadio and Luca Cardelli",
  title = 	 "Subtyping Recursive Types",
  booktitle = 	 "Conference Record of the 18th Symposium on Principles of Programming Languages",
  year =	 1991,
  organization = "{ACM}",
  pages =	 "104--118"
}

@Article{AmLi90,
  author = 	 "Pierre America and van der Linden, Frank",
  title = 	 "A Parallel Object-Oriented Language with Inheritance and Subtyping",
  journal = 	 sigplan,
  year = 	 1990,
  volume =	 25,
  number =	 10,
  month =	 oct,
  pages =	 "161--168",
  note =	 "Proceedings {OOPSLA}/{ECOOP}'90"
}

@Book{BaWe90,
  author = 	 "J. C. M. Baeten and W. P. Weijland",
  title = 	 "Process Algebra",
  publisher = 	 "Cambridge University Press",
  year = 	 1990,
  volume =	 18,
  series =	 "Cambridge Tracts in Theoretical Computer Science"
}

@Book{BeHG87,
  author = 	 "Philip A.~Bernstein and Vassos Hadzilacos and Nathan Goodman",
  title = 	 "Concurrency Control and Recovery in Database Systems",
  publisher = 	 "Addison-Wesley",
  year = 	 1987
}

@Article{BeKl85,
  author = 	 "J. A. Bergstra and J. W. Klop",
  title = 	 "Algebra of Communicating Processes with Abstraction",
  journal = 	 "Theoretical Computer Science",
  year = 	 1985,
  volume =	 37,
  pages =	 "77--121"
}

@Article{BoPS81,
  author = 	 "van den Bos, Jan and Rinus Plasmeijer and Jan Stroet",
  title = 	 "Process Communication Based on Input Specifications",
  journal = 	 toplas,
  year = 	 1981,
  volume =	 3,
  number =	 3,
  month =	 jul,
  pages =	 "224--250"
}

@Book{Booc94,
  author = 	 "Grady Booch",
  title = 	 "Object-Oriented Analysis and Design with Applications",
  publisher = 	 "Benjamin-Cummings",
  year = 	 1994,
  address =	 "Redwood City, California",
  edition =	 "Second"
}

@InProceedings{BBDS97,
  author = 	 "H. Bowman and C. Briscoe-Smith and J. Derrick and B. Strulo",
  title = 	 "On Behavioural Subtyping in {LOTOS}",
  booktitle = 	 "Proceedings of the {IFIP} Workshop on Formal Methods
		  for Open Object-based Distributed Systems",
  year =	 1997,
  address =	 "Canterbury, United Kingdom",
  month =	 jul
}

@InProceedings{CaHa74,
  author = 	 "R. H. Campbell and A. N. Habermann",
  title = 	 "The Specification of Process Synchronization by Path Expressions",
  booktitle = 	 "Proceedings of the International Symposium on Operating Systems",
  editor =	 "E. Gelenbe",
  number =	 16,
  series =	 lncs,
  year =	 1974,
  publisher =	 springer,
  pages =	 "89--102"
}

@Article{CaWe85,
  author = 	 "Luca Cardelli and Peter Wegner",
  title = 	 "On Understanding Types, Data Abstraction, and Polymorphism",
  journal = 	 compsurv,
  year = 	 1985,
  volume =	 17,
  number =	 4,
  pages =	 "471--522"
}

@Article{Caro93,
  author = 	 "Denis Caromel",
  title = 	 "Toward a Method of Object-Oriented Concurrent Programming",
  journal = 	 cacm,
  year = 	 1993,
  volume =	 36,
  number =	 9,
  month =	 sep,
  pages =	 "90--101"
}

@InProceedings{CoHC90,
  author = 	 "William R. Cook and Walter L. Hill and Peter S. Canning",
  title = 	 "Inheritance is not Subtyping",
  booktitle = 	 "Conference Record of the 17th Symposium on Principles of Programming Languages",
  year =	 1990,
  organization = "ACM",
  address =	 "San Francisco",
  pages =	 "125--135"
}

@Article{Dijk75,
  author = 	 "E. W. Dijkstra",
  title = 	 "Guarded Commands, Nondeterminacy, and Formal Derivation of Programs",
  journal = 	 cacm,
  year = 	 1975,
  volume =	 18,
  number =	 8,
  month =	 aug,
  pages =	 "453--457"
}

@Book{EhMa85,
  author = 	 "H. Ehrig and B. Mahr",
  title = 	 "Fundamentals of Algebraic Specification",
  publisher = 	 springer,
  year = 	 1985,
  volume =	 1,
  address =	 "Berlin"
}

@Book{Flan96,
  author = 	 "D. Flanagan",
  title = 	 "Java in a Nutshell",
  publisher = 	 "{O`Reilly \& Associates}",
  year = 	 1996
}

@InProceedings{Frol92,
  author = 	 "Svend Fr{\o}lund",
  title = 	 "Inheritance of Synchronization Constraints in
		  Concurrent Object-Oriented Programming Languages",
  booktitle = 	 "Proceedings {ECOOP}'92",
  editor =	 "Lehrmann Madsen",
  number =	 615,
  series =	 lncs,
  year =	 1992,
  publisher =	 springer
}

@Book{GHJV95,
  author = 	 "Gamma, A. and Helm, E. and Johnson, R. and
		  Vlissides, J.",
  title = 	 "Design Patterns: Elements of Reusable
		  Object-Oriented Software",
  publisher = 	 "Addison-Wesley",
  year = 	 1995,
  address =	 "Reading"
}

@InProceedings{Gay93,
  author = 	 "Simon J. Gay",
  title = 	 "A Sort Inference Algorithm for the Polyadic {$\pi$}-Calculus",
  booktitle = 	 "Conference Record of the 20th Symposium on Principles of Programming Languages",
  year =	 1993,
  month =	 jan
}

@Article{GeCa92,
  author = 	 "David Gelernter and Nicholas Carriero",
  title = 	 "Coordination Languages and their Significance",
  journal = 	 cacm,
  year = 	 1992,
  volume =	 35,
  number =	 2,
  month =	 feb,
  pages =	 "96--107"
}

@Book{GuMi94,
  editor = 	 "Carl A. Gunter and John C. Mitchell",
  title = 	 "Theoretical Aspects of Object-Oriented Programming; Types, Semantics, and Language Design",
  publisher = 	 mit,
  year = 	 1994,
}

@Article{Hals85,
  author = 	 "Robert H.\ Halstead",
  title = 	 "Multilisp: A Language for Concurrent Symbolic Computation",
  journal = 	 toplas,
  year = 	 1985,
  volume =	 7,
  number =	 4,
  pages =	 "501--538"
}

@Article{Hauc93,
  author = 	 "Franz J. Hauck",
  title = 	 "Inheritance Modeled with Explicit Bindings: An Approach to Typed Inheritance",
  journal = 	 sigplan,
  year = 	 1993,
  volume =	 28,
  number =	 10,
  month =	 oct,
  pages =	 "231--239",
  note =	 "Proceedings {OOPSLA}'93"
}

@Book{Henn88,
  author = 	 "Matthew Hennessy",
  title = 	 "Algebraic Theory of Processes",
  publisher = 	 mit,
  year = 	 1988
}

@Article{Hewi77,
  author = 	 "Carl Hewitt",
  title = 	 "Viewing Control Structures as Patterns of Passing Messages",
  journal = 	 "Journal of Artificial Intelligence",
  year = 	 1977,
  volume =	 8,
  number =	 3
}

@InProceedings{HoTo91,
  author = 	 "Kohei Honda and Mario Tokoro",
  title = 	 "An Object Calculus for Asynchronous Communication",
  booktitle = 	 "Proceedings {ECOOP}'91",
  editor =	 "Pierre America",
  number =	 512,
  series =	 lncs,
  year =	 1991,
  publisher =	 springer,
  address =	 "Geneva, Switzerland",
  month =	 jul,
  pages =	 "141--162"
}

@Article{Hoar78,
  author = 	 "C. A. R. Hoare",
  title = 	 "Communicating Sequential Processes",
  journal = 	 cacm,
  year = 	 1978,
  volume =	 21,
  number =	 8,
  month =	 aug,
  pages =	 "666--677"
}

@Book{Hoar85,
  author = 	 "C. A. R. Hoare",
  title = 	 "Communicating Sequential Processes",
  publisher = 	 "Prentice-Hall",
  year = 	 1985
}

@Article{Hogg91,
  author = 	 "John Hogg",
  title = 	 "Islands: Aliasing Protection In Object-Oriented Languages",
  journal = 	 sigplan,
  year = 	 1991,
  volume =	 26,
  number =	 10,
  month =	 oct,
  pages =	 "271--285",
  note =	 "Proceedings {OOPSLA}'91"
}

@Book{HoUl69,
  author = 	 "John E. Hopcroft and Jeffrey D. Ullman",
  title = 	 "Formal Languages and their Relation to Automata",
  publisher = 	 "Addison-Wesley",
  year = 	 1969
}

@Book{Jone90,
  author = 	 "C. B. Jones",
  title = 	 "Systematic Software Development Using {VDM}",
  publisher = 	 "Prentice-Hall",
  year = 	 1990,
  edition =	 "Second"
}

@Article{KaSa90,
  author = 	 "Kenneth M. Kahn and Vijay A. Saraswat",
  title = 	 "Actors as a Special Case of Concurrent Constraint Programming",
  journal = 	 sigplan,
  year = 	 1990,
  volume =	 25,
  number =	 10,
  month =	 oct,
  pages =	 "57--65",
  note =	 "Proceedings {OOPSLA}/{ECOOP}'90"
}

@Article{KoYo94,
  author = 	 "Naoki Kobayashi and Akinori Yonezawa",
  title = 	 "Type-Theoretic Foundations for Concurrent Object-Oriented Programming",
  journal = 	 sigplan,
  year = 	 1994,
  volume =	 29,
  number =	 10,
  month =	 oct,
  pages =	 "31--45",
  note =	 "Proceedings {OOPSLA}'94"
}

@Article{LaPu91,
  author = 	 "Wilf LaLonde and John Pugh",
  title = 	 "Subclassing {$\neq$} Subtyping {$\neq$} Is-a",
  journal = 	 joop,
  year = 	 1991,
  volume =	 3,
  number =	 5,
  pages =	 "57--62"
}

@Article{LiWi93,
  author = 	 "Barbara Liskov and Jeannette M. Wing",
  title = 	 "Specifications and their Use in Defining Subtypes",
  journal = 	 sigplan,
  year = 	 1993,
  volume =	 28,
  number =	 10,
  month =	 oct,
  pages =	 "16--28",
  note =	 "Proceedings {OOPSLA}'93"
}

@Article{LiWi94,
  author = 	 "Barbara H. Liskov and Jeannette M. Wing",
  title = 	 "A Behavioral Notion of Subtyping",
  journal = 	 toplas,
  year = 	 1994,
  volume =	 16,
  number =	 6,
  month =	 nov,
  pages =	 "1811--1841"
}

@Book{Lloy87,
  author = 	 "J. W. Lloyd",
  title = 	 "Foundations of Logic Programming",
  publisher = 	 springer,
  year = 	 1987,
  address =	 "Berlin"
}

@InCollection{MaYo93,
  author = 	 "Satoshi Matsuoka and Akinori Yonezawa",
  title = 	 "Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages",
  booktitle = 	 "Research Directions in Concurrent Object-Oriented Programming",
  publisher =	 mit,
  year =	 1993,
  editor =	 "Gul Agha and Peter Wegner and Akinori Yonezawa"
}

@Article{Mese90,
  author = 	 "Jos{\'{e}} Meseguer",
  title = 	 "A Logical Theory of Concurrent Objects",
  journal = 	 sigplan,
  year = 	 1990,
  volume =	 25,
  number =	 10,
  month =	 oct,
  pages =	 "101--115",
  note =	 "Proceedings {OOPSLA}/{ECOOP}'90"
}

@Book{Meye92,
  author = 	 "Bertrand Meyer",
  title = 	 "{E}iffel: The Language",
  publisher = 	 "Prentice Hall",
  year = 	 1992
}

@Article{Meye93,
  author = 	 "Bertrand Meyer",
  title = 	 "Systematic Concurrent Object-Oriented Programming",
  journal = 	 cacm,
  year = 	 1993,
  volume =	 36,
  number =	 9,
  month =	 sep,
  pages =	 "56--80"
}

@Book{Meye94,
  author = 	 "Bertrand Meyer",
  title = 	 "Reusable Software: The Base Object-Oriented Component Libraries",
  publisher = 	 "Prentice-Hall",
  year = 	 1994,
  address =	 "Englewood Cliffs, NJ"
}

@Article{MiPW92,
  author = 	 "R. Milner and J. Parrow and D. Walker",
  title = 	 "A Calculus of Mobile Processes (Parts {I} and {II})",
  journal = 	 "Information and Computation",
  year = 	 1992,
  volume =	 100,
  pages =	 "1--77"
}

@Book{Miln89,
  author = 	 "Robin Milner",
  title = 	 "Communication and Concurrency",
  publisher = 	 "Prentice-Hall",
  year = 	 1989,
  address =	 "New York"
}

@TechReport{Miln91,
  author = 	 "Robin Milner",
  title = 	 "The Polyadic {$\pi$}-Calculus: A Tutorial",
  institution =  "Dept.\ of Comp.\ Sci., Edinburgh University",
  year = 	 1991,
  number =	 "{ECS-LFCS-91-180}"
}

@InProceedings{NaNi97,
  author = 	 "E. Najm and A. Nimour",
  title = 	 "A Calculus of Object Bindings",
  booktitle = 	 "Proceedings of the {IFIP} Workshop on Formal Methods
		  for Open Object-based Distributed Systems",
  year =	 1997,
  address =	 "Canterbury, United Kingdom",
  month =	 jul
}

@Book{Nels91,
  author = 	 "Greg Nelson",
  title = 	 "Systems Programming with Modula-3",
  publisher = 	 "Prentice-Hall",
  year = 	 1991
}

@InProceedings{NiNi93,
  author = 	 "Flemming Nielson and Hanne Riis Nielson",
  title = 	 "From {CML} to Process Algebras",
  booktitle = 	 "Proceedings {CONCUR}'93",
  number =	 715,
  series =	 lncs,
  year =	 1993,
  publisher =	 springer,
  pages =	 "493--508"
}

@InProceedings{NiNi94,
  author = 	 "Hanne Riis Nielson and Flemming Nielson",
  title = 	 "Higher-Order Concurrent Programs with Finite
		  Communication Topology",
  booktitle = 	 "Conference Record of the 21th Symposium on Principles of Programming Languages",
  year =	 1994,
  pages =	 "84--97"
}

@Article{NiPa90,
  author = 	 "Oscar Nierstrasz and Michael Papathomas",
  title = 	 "Viewing Objects as Patterns of Communicating Agents",
  journal = 	 sigplan,
  year = 	 1990,
  volume =	 25,
  number =	 10,
  month =	 oct,
  pages =	 "38--43",
  note =	 "Proceedings {ECOOP}/{OOPSLA}'93"
}

@InProceedings{Niel89,
  author = 	 "Flemming Nielson",
  title = 	 "The Typed Lambda-Calculus with First-Class Processes",
  booktitle = 	 "Proceedings {PARLE}'89",
  number =	 366,
  series =	 lncs,
  year =	 1989,
  publisher =	 springer,
  pages =	 "357--373"
}

@Article{Nier93,
  author = 	 "Oscar Nierstrasz",
  title = 	 "Regular Types for Active Objects",
  journal = 	 sigplan,
  year = 	 1993,
  volume =	 28,
  number =	 10,
  month =	 oct,
  pages =	 "1--15",
  note =	 "Proceedings {OOPSLA}'93"
}

@MastersThesis{Pete96,
  author = 	 "Christof Peter",
  title = 	 "{Typ\"uberpr\"ufung von aktiven Objekten mit Proze{\ss}typen}",
  school = 	 "{Technische Universit\"at Wien}",
  year = 	 1996,
  address = 	 "Austria",
  note = 	 "In German"
}

@InProceedings{PePuECOOP-WS97,
  author = 	 "Christof Peter and Franz Puntigam",
  title = 	 "Static Type Checking and Deadlock Prevention in Systems Based on Asynchronous Message Passing",
  booktitle = 	 "Proceedings of the ECOOP Workshop on Models, Formalisms and Methods for Distributed Object-Oriented Computing",
  year =	 1997,
  address =	 "Jyv{\"a}skyl{\"a}, Finland",
  month =	 jun
}

@InProceedings{PiSa93,
  author = 	 "Benjamin Pierce and Davide Sangiorgi",
  title = 	 "Typing and Subtyping for Mobile Processes",
  booktitle = 	 "Proceedings {LICS}'93",
  year =	 1993
}

@Article{Port92,
  author = 	 "Harry H. Porter",
  title = 	 "Separating the Subtype Hierarchy from the
		  Inheritance of Implementation",
  journal = 	 joop,
  year = 	 1992,
  volume =	 4,
  number =	 9,
  month =	 feb,
  pages =	 "20--29"
}

@InProceedings{PuntECOOP97,
  author = 	 "Franz Puntigam",
  title = 	 "Coordination Requirements Expressed in Types for Active Objects",
  booktitle = 	 "Proceedings {ECOOP} '97",
  editor =	 "Mehmet Aksit and Satoshi Matsuoka",
  series =	 lncs,
  year =	 1997,
  number =	 1241,
  publisher =	 springer,
  address =	 "{Jyv\"askyl\"a}, Finland",
  month =	 jun
}

@InProceedings{PuntEuroPar96,
  author = 	 "Franz Puntigam",
  title = 	 "Synchronization Expressed in Types of Communication Channels",
  booktitle = 	 "Proceedings Euro-Par'96",
  editor =	 "Luc Boug{\'e} et al.",
  number =	 1023,
  series =	 lncs,
  year =	 1996,
  publisher =	 springer,
  address =	 "Lyon, France",
  month =	 aug
}

@InProceedings{PuntFMOODS96,
  author = 	 "Franz Puntigam",
  title = 	 "Types for Active Objects based on Trace Semantics",
  booktitle = 	 "Proceedings of the 1st {IFIP} Workshop on Formal Methods
		  for Open Object-based Distributed Systems",
  editor =	 "Elie Najm et al.",
  year =	 1996,
  publisher =	 "Chapman {\&} Hall",
  organization = "{IFIP} {WG} 6.1",
  address =	 "Paris, France",
  month =	 mar
}


@InProceedings{PuntFORTE95,
  author = 	 "Franz Puntigam",
  title = 	 "Type Specifications with Processes",
  booktitle = 	 "Proceedings {FORTE}'95",
  year =	 1995,
  organization = "{IFIP} {WG} 6.1",
  month =	 oct
}

@InProceedings{PuntJMLC97,
  author = 	 "Franz Puntigam",
  title = 	 "Types that Reflect Changes of Object Usability",
  booktitle = 	 "Proceedings of the Joint Modular Languages Conference",
  year = 	 1997,
  month =	 mar,
  number =	 1204,
  series =	 lncs,
  publisher =	 springer,
  address =	 "{L}inz, {A}ustria"
}

@InProceedings{PuntOOPMOC95,
  author = 	 "Franz Puntigam",
  title = 	 "Flexible Types for a Concurrent Model",
  booktitle = 	 "Proceedings of the Workshop on Object-Oriented
		  Programming and Models of Concurrency",
  year =	 1995,
  address =	 "{T}orino",
  month =	 jun
}

@TechReport{PuntRep96,
  author = 	 "Franz Puntigam",
  title = 	 "Types that Reflect Changes of Object Usability",
  institution =  "{T}echnische {U}niversit{\"a}t Wien",
  year = 	 1996,
  note =	 "Manuscript enclosed"
}

@TechReport{PuntTRcaap96,
  author = 	 "Franz Puntigam",
  title = 	 "Types for Active Objects based on Trace Semantics",
  institution =  complang,
  year = 	 1995,
  number =	 "TR~1851-1995-7",
  month =	 sep
}

@TechReport{PuntTR97,
  author = 	 "Franz Puntigam",
  title = 	 "Dynamic Type Information in Process Types",
  institution =  complang,
  year = 	 1997,
  month =	 oct
}

@TechReport{PuntTRoopsla95,
  author = 	 "Franz Puntigam",
  title = 	 "Typed Behavior Modifications in Actor-like Languages",
  institution =  complang,
  year = 	 1995,
  number =	 "TR~1851-1995-3",
  month =	 feb
}

@TechReport{PuntTrEcoop97,
  author = 	 "Franz Puntigam",
  title = 	 "Coordination Requirements Expressed in Types for Active Objects",
  institution =  complang,
  year = 	 1997,
  address =	 "Vienna, Austria",
  note =         "Electronically available under {\\http://www.complang.tuwien.ac.at/franz/papers/ecoop97tr.ps.gz}"
}

@InProceedings{PuntWLP95,
  author = 	 "Franz Puntigam",
  title = 	 "{T}ypen f{\"{u}}r logikbasierte aktive {O}bjekte",
  booktitle = 	 "{11.~Workshop Logische Programmierung}",
  editor =	 "Andreas Krall and Ulrich Geske",
  number =	 270,
  series =	 "{GMD}-Studien",
  year =	 1995,
  address =	 "Vienna, Austria",
  month =	 sep,
  note =	 "In {G}erman"
}

@Book{Reis83,
  author = 	 "W. Reisig",
  title = 	 "Petri Nets",
  publisher = 	 springer,
  year = 	 1983,
  series =	 "{EATCS} Monographs on Theoretical Computer Science"
}

@Book{Sara93,
  author = 	 "Vijay A. Saraswat",
  title = 	 "Concurrent Constraint Programming",
  publisher = 	 mit,
  year = 	 1993,
  series =	 "Series in Logic Programming"
}

@Article{ShTa83,
  author = 	 "E. Shapiro and A. Takeuchi",
  title = 	 "Object Oriented Programming in {C}oncurrent {P}rolog",
  journal = 	 ncg,
  year = 	 1983,
  volume =	 1,
  pages =	 "25--48"
}

@Article{Shap89,
  author = 	 "Ehud Shapiro",
  title = 	 "The Family of Concurrent Logic Programming Languages",
  journal = 	 compsurv,
  year = 	 1989,
  volume =	 21,
  number =	 3,
  pages =	 "412--510"
}

@Article{Taiv93,
  author = 	 "Antero Taivalsaari",
  title = 	 "Object-Oriented Programming with Modes",
  journal = 	 joop,
  year = 	 1993,
  volume =	 6,
  number =	 3,
  month =	 jun,
  pages =	 "25--32"
}

@InProceedings{VaHo93,
  author = 	 "Vasco T. Vasconcelos and Kohei Honda",
  title = 	 "Principal Typing Schemes in a Polyadic Pi-calculus",
  booktitle = 	 "Proceedings {CONCUR}'93",
  year =	 1993,
  month =	 jul
}

@InProceedings{Vasc94,
  author = 	 "Vasco T. Vasconcelos",
  title = 	 "Typed Concurrent Objects",
  booktitle = 	 "Proceedings {ECOOP}'94",
  number =	 821,
  series =	 lncs,
  year =	 1994,
  publisher =	 springer,
  pages =	 "100-117"
}

@InProceedings{WeZd88,
  author = 	 "Peter Wegner and Stanley B. Zdonik",
  title = 	 "Inheritance as an Incremental Modification Mechanism or What Like is and isn't Like",
  booktitle = 	 "Proceedings {ECOOP}'88",
  editor =	 "S. Gjessing and K. Nygaard",
  number =	 322,
  series =	 lncs,
  year =	 1988,
  publisher =	 springer,
  pages =	 "55--77"
}

@Article{Wegn90,
  author = 	 "Peter Wegner",
  title = 	 "Concepts and Paradigms of Object-Oriented Programming",
  journal = 	 "{OOPS} Messenger",
  year = 	 1990,
  volume =	 1,
  number =	 1,
  month =	 aug,
  pages =	 "7--87"
}

@Article{WiWC92,
  author = 	 "Gio Wiederhold Peter Wegner and Stefano Ceri",
  title = 	 "Toward Megaprogramming",
  journal = 	 cacm,
  year = 	 1992,
  volume =	 35,
  number =	 11,
  month =	 nov,
  pages =	 "89--99"
}

@Book{Yone90,
  author = 	 "Akinori Yonezawa",
  title = 	 "{ABCL}: An Object-Oriented Concurrent System",
  publisher = 	 mit,
  year = 	 1990
}