red tr(replace(
@String{'cav =    "Computer-Aided Verification, CAV"}
@String{'sv =     "Springer-Verlag"}
@String{'lncs =   "Lecture Notes in Computer Science"}
@String{'lnai =   "Lecture Notes in Artificial Intelligence"}
@String{'tcs =    "Theoretical Computer Science"}
@String{'jar =    "Journal of Automated Reasoning"}
@String{'jsc =    "Journal of Symbolic Computation"}
@String{'jlp =    "Journal of Logic Programming"}
@String{'aaecc =  "Applicable Algebra in Engineering, Communication and Computation"}
@String{'beatcs = "Bulletin of European Association for Theoretical Computer Science"}
@String{'jacm =   "Journal of the Association Computing Machinery"}
@String{'jcss =   "Journal of Computer and System Sciences"}
@String{'scp =    "Science of Computer Programming"}
@String{'siamjc = "SIAM Journal on Computing"}
@String{'jsl =    "The Journal of Symbolic Logic"}
@String{'ipl =    "Information Processing Letters"}
@String{'actai =  "Acta Informatica"}
@String{'faoc =   "Formal Aspects of Computing"}
@String{'infcont = "Information and Control"}
@String{'infcomp = "Information and Computation"}
@String{'compj =  "Computer Journal"}
@String{'arti =   "Artificial Intelligence"}
@String{'ifi =    "Department of informatics, University of Oslo, Norway"}
@String{'rta1 =   "Proceedings 1st Conference on Rewriting Techniques and Applications, Dijon (France)"}
@String{'rta2 =   "Proceedings 2nd Conference on Rewriting Techniques and Applications, Bordeaux (France)"}
@String{'rta3 =   "Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (North Carolina, USA)"}
@String{'rta4 =   "Proceedings 4th Conference on Rewriting Techniques and Applications, Como (Italy)"}
@String{'rta5 =   "Proceedings 5th Conference on Rewriting Techniques and Applications, Montreal (Canada)"}
@String{'ctrs1 =  "Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France)"}
@String{'ctrs2 =  "Proceedings 2nd International Workshop on Conditional and Typed Rewriting Systems, Montreal (Canada)"}
@String{'ctrs3 =  "Proceedings 3rd International Workshop on Conditional Term Rewriting Systems, Pont-a-Mousson (France)"}
@String{'ctrs4 =  "Proceedings 4th International Workshop on Conditional Term Rewriting Systems, Jesuralem (Israel)"}
@String{'cade5 =  "Proceedings 5th International Conference on Automated Deduction"}
@String{'cade7 =  "Proceedings 7th International Conference on Automated Deduction, Napa (CA, USA)"}
@String{'cade8 =  "Proceedings 8th International Conference on Automated Deduction, Oxford (UK)"}
@String{'cade9 =  "Proceedings 9th International Conference on Automated Deduction, Argonne (Illinois, USA)"}
@String{'cade10 = "Proceedings 10th International Conference on Automated Deduction, Kaiserslautern (Germany)"}
@String{'cade11 = "Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (NY, USA)"}
@String{'cade12 = "Proceedings 12th International Conference on Automated Deduction, Nancy (France)"}
@String{'lics2 =  "Proceedings 2nd IEEE Symposium on Logic in Computer Science, Ithaca (New York, USA)"}
@String{'lics3 =  "Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh (UK)"}
@String{'lics5 =  "Proceedings 5th IEEE Symposium on Logic in Computer Science, Philadelphia (Pennsylvania, USA)"}
@String{'lics6 =  "Proceedings 6th IEEE Symposium on Logic in Computer Science"}
@String{'lics7 =  "Proceedings 7th IEEE Symposium on Logic in Computer Science, Santa Cruz, (California, USA)"}
@String{'alp1 =   "Proceedings 1st Workshop on Algebraic and Logic Programming, Gau{\ss}ig (Germany)"}
@String{'alp2 =   "Proceedings 2nd International Conference on Algebraic and Logic Programming, Nancy (France)"}
@String{'alp3 =   "Proceedings 3rd International Conference on Algebraic and Logic Programming, Pisa (Italy)"}
@String{'icalp13 = "Proceedings 13th International Colloquium on Automata, Languages and Pro\-gramming"}
@String{'icalp14 = "Proceedings 14th International Colloquium on Automata, Languages and Pro\-gramming, Karlsruhe (Germany)"}
@String{'icalp15 = "Proceedings 15th International Colloquium on Automata, Languages and Pro\-gramming, Tampere (Finland)"}
@String{'icalp16 = "Proceedings 16th International Colloquium on Automata, Languages and Pro\-gramming"}
@String{'disco =  "Proceedings of DISCO'90, Capri (Italy)"}
@String{'mfcs1 =  "Proceedings 1st Mathematical Foundations of Computer Science, Gdansk (Poland)"}
@String{'mfcs16 = "Proceedings 16th Mathematical Foundations of Computer Science, Kazimierz Dolny (Poland)"}
@Unpublished{'basin:_rewrit_logic_metal_framew,
  author =       "D. Basin and M. Clavel and J. Meseguer",
  title =        "Rewriting Logic as a Metalogical Framework",
  note =         "\url{http://www.informatik.uni-freiburg.de/{\homedir}basin/pubs/pubs.html}"
}
@Unpublished{'basin00:_maude_haskel,
  author =       "D. Basin and G. Denker",
  title =        "Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis",
  year =         "May 2000",
  note =         "Sumitted for publication"
}
@TechReport{'havelud00:_testin,
  author =       "Klaus Havelud and Grigore Ro\c{s}u",
  title =        "Testing linear temporal logic formulas on finite execution traces",
  institution =  "NASA Ames Research Center",
  number =       "",
  year =         "2000"
}
@Unpublished{'oelveczky00:_specif,
  author =       "Peter Csaba {\"O}lveczky and Jos\'e Meseguer",
  title =        "Specification of real-time and hybrid systems in rewriting logic",
  year =         "2000",
  note =         "To appear in {\em Theoretical Computer Science}, \url{maude.csl.sri.com}"
}
@InProceedings{'duran00:_param_theor_views_full_maude,
  author =       "Francisco Dur\'an and Jos\'e Meseguer",
  title =        "On Parameterized Theories and Views in {Full Maude} 2.0",
  note =         "Proc.\ 3rd. Intl.\ Workshop on Rewriting Logic and its Applications",
  editor =       "K. Futatsugi",
  year =         "2000",
  publisher =    "{ENTCS}, Elsevier"
}
@InProceedings{'basin00:_rewrit_logic_metal_framew,
  author =       "D. Basin and M. Clavel and J. Meseguer",
  title =        "Rewriting Logic as a Metalogical Framework",
  booktitle =    "FST TCS 2000",
  editor =       "S. Kapoor and S. Prasad",
  year =         "2000",
  pages =        "55-80",
  publisher =    "Springer LNCS"
}
@InProceedings{'oelveczky00:_real_time_maude,
  author =       "Peter Csaba {\"O}lveczky and Jos\'e Meseguer",
  title =        "{Real-Time} {Maude}: a tool for simulating and analyzing real-time and hybrid systems",
  note =         "Proc.\ 3rd. Intl.\ Workshop on Rewriting Logic and its Applications",
  editor =       "K. Futatsugi",
  year =         "2000",
  publisher =    "{ENTCS}, Elsevier"
}
@InProceedings{'clavel00:_towar_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada",
  title =        "Towards {Maude} 2.0",
  note =         "Proc.\ 3rd. Intl.\ Workshop on Rewriting Logic and its Applications",
  editor =       "K. Futatsugi",
  year =         "2000",
  publisher =    "{ENTCS}, Elsevier"
}
@InProceedings{'clavel00:_polyt_progr_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Narciso Mart\'{\i}-Oliet",
  title =        "Polytypic Programming in {Maude}",
  note =         "Proc.\ 3rd. Intl.\ Workshop on Rewriting Logic and its Applications",
  editor =       "K. Futatsugi",
  year =         "2000",
  publisher =    "{ENTCS}, Elsevier"
}
@InProceedings{'denker00:_rewrit_seman_meta_objec_compos_distr_servic,
  author =       "Grit Denker and Jos\'e Meseguer and C. Talcott",
  title =        "Rewriting Semantics of Meta-Objects and Composable Distributed Services",
  note =         "Proc.\ 3rd. Intl.\ Workshop on Rewriting Logic and its Applications",
  editor =       "K. Futatsugi",
  year =         "2000",
  publisher =    "{ENTCS}, Elsevier"
}
@TechReport{'cristian95:_agreein,
  author =       "Flaviu Cristian",
  title =        "Agreeing on processor group membership in timed asynchronous distributed systems",
  institution =  "University of California San Diego, Computer Science and Engineering Department",
  number =       "CSE95-428",
  year =         "1995"
}
@TechReport{'kasera99:_scalab,
  author =       "S. Kasera and S. Bhattacharyya and M. Keaton and D. Kiwior and J. Kurose and D. Towsley and S. Zabele",
  title =        "Scalable fair reliable multicast using active services",
  institution =  "University of Massachusetts, Amherst, CMPSCI",
  number =       "TR 99-44",
  year =         "1999"
}
@InProceedings{'cristian95:_synch,
  author =       "Flaviu Cristian",
  title =        "Synchronous and asynchronous group communication",
  booktitle =    "Proceedings IEEE Workshop on Fault-tolerant and Parallel Distributed Systems, Honolulu, Hawaii",
  year =         "1995"
}
@InProceedings{'allen94:_formal_archit_connec,
  author =       "R. Allen and D. Garlan",
  title =        "Formalizing Architectural Connection",
  booktitle =    "Proceedings 16th International Conference on Software Engineering",
  year =         "1994"
}
@Misc{'denker99:_rewrit_seman_distr_meta_objec,
  author =       "G. Denker and J. Meseguer and C. Talcott",
  title =        "{Rewriting Semantics of Distributed Meta Objects and Composable Communication Services}",
  year =         "1999",
  note =         "working draft"
}
@InProceedings{'hicks98:_plan,
  author =       "M. Hicks and P. Kakkar and J. T. Moore and C. A. Gunter and S. Nettles",
  title =        "{PLAN: A Packet Language for Active Networks}",
  booktitle =    "Proceedings of the Third {ACM} {SIGPLAN} International Conference on Functional Programming Languages",
  year =         "1998",
  pages =        "86-93",
  publisher =    "ACM",
  url =          "http://www.cis.upenn.edu/~switchware/papers/plan.ps"
}
@InProceedings{'denker99:_capsl_inter_languag,
  author =       "G. Denker and J. Millen",
  title =        "{CAPSL Intermediate Language}",
  booktitle =    "{Workshop on Formal Methods and Security Protocols (FMSP'99), July 5, 1999, Trento, Italy (part of FLOC'99)}",
  editor =       "N. Heintze and E. Clarke",
  year =         "1999",
  note =         "\url{http://cm.bell-labs.com/cm/cs/who/nch/fmsp99/}"
}
@InProceedings{'denker98:_protoc_specif_analy_maude,
  author =       "G. Denker and J. Meseguer and C. Talcott",
  title =        "{Protocol Specification and Analysis in Maude}",
  booktitle =    "{Proc.\ of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana}",
  year =         "1998",
  editor =       "N. Heintze and J. Wing",
  pages =        "",
  organization = "",
  publisher =    "",
  address =      "",
  month =        "",
  note =         "\url{http://www.cs.bell-labs.com/who/nch/fmsp/index.html}"
}
@InProceedings{'denker99:_specif_analy_reliab_broad_protoc_maude,
  author =       "{Denker, G. and J. J. Garcia-Luna-Aceves and J. Meseguer and P. \"Olveczky and J. Raju and B. Smith and C.} Talcott",
  title =        "{Specification and Analysis of a Reliable Broadcasting Protocol in Maude}",
  booktitle =    "{Proc. 37th Annual Allerton Conference on Communication, Control and Computation}",
  year =         "1999",
  editor =       "B. Hajek and R. S. Sreenivas",
  pages =        "738-747",
  organization = "",
  publisher =    "University of Illinois",
  address =      "",
  month =        "",
  note =         "url{http://www.comm.csl.uiuc.edu/allerton}"
}
@Misc{'meseguer97:_seman_inter_dynam_heter_archit,
  author =       "J. Meseguer and C. Talcott",
  title =        "Semantic Interoperation of Dynamic Heterogeneous Architectures",
  note =         "Technical presentations to EDCS Architecture Cluster Meeting, April and July 1997",
  year =         "1997"
}
@InProceedings{'venkatasubramanian95:_reason_meta_level_activ_open_distr_system,
  author =       "N. Venkatasubramanian and C. L. Talcott",
  year =         "1995",
  booktitle =    "{Principles of Distributed Computation}",
  title =        "{Reasoning about Meta Level Activities in Open Distributed Systems}"
}
@InProceedings{'clavel97:_inter_strat_reflec_logic,
  author =       "Manuel Clavel and Jos\'e Meseguer",
  title =        "Internal Strategies in a Reflective Logic",
  booktitle =    "Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997)",
  editor =       "B. Gramlich and H. Kirchner",
  year =         "1997",
  pages =        "1-12"
}
@InProceedings{'lincoln98:_strat_reflec,
  author =       "Patrick Lincoln and Jos\'e Meseguer",
  title =        "Strategic Reflection",
  booktitle =    "Proceedings of the CADE-15 Workshop on Strategies in Automated Deduction (Lindau, Germany, July 1998)",
  editor =       "B. Gramlich and F. Pfenning",
  year =         "1998",
  pages =        "3-9"
}
@InProceedings{'borovansky97:_strat_rewrit_elan,
  author =       "P. Borovansk\'y and C. Kirchner and H. Kirchner",
  title =        "Strategies and Rewriting in {ELAN}",
  booktitle =    "Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997)",
  editor =       "B. Gramlich and H. Kirchner",
  year =         "1997"
}
@InProceedings{'borovansky97:_strat_elan,
  author =       "P. Borovansk\'y and C. Kirchner and H. Kirchner",
  title =        "Strategies of {ELAN}: meta-interpretation and partial evaluation",
  booktitle =    "Proceedings of the International Workshop on Theory and Practice of Algebraic Specifications (Amsterdam, Holland)",
  year =         "1997"
}
@InProceedings{'moreau97:_compil,
  author =       "P.-E. Moreau and H. Kirchner",
  title =        "Compilation techniques for associative-commutative normalisation",
  booktitle =    "Proceedings of the International Workshop on Theory and Practice of Algebraic Specifications (Amsterdam, Holland)",
  year =         "1997"
}
@Unpublished{'duran:_maude,
  author =       "Francisco Dur\'an and Jos\'e Meseguer",
  title =        "An extensible module algebra for {Maude}",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'basin:_scoped_metat,
  author =       "David Basin and Sean Matthews",
  title =        "Scoped Metatheorems",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'steggles:_sdl,
  author =       "L. J. Steggles and P. Kosiuczenko",
  title =        "A timed rewriting logic semantics for {SDL}: a case study of the alternating bit protocol",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'duran:_struc_theor_instit,
  author =       "Francisco Dur\'an and Jos\'e Meseguer",
  title =        "Structured Theories and Institutions",
  note =         "{\em Proc.\ Category Theory and Computer Science 1999\/}, (Edinburgh, Scotland, September 1999) {ENTCS}, Vol. 29, {Elsevier}, 1999, \url{http://www.elsevier.nl/locate/entcs/volume29.html}"
}
@Unpublished{'wang:_specif_plan_maude,
  author =       "Bow-Yaw Wang and Jos\'e Meseguer and Carl A. Gunter",
  title =        "Specification and formal analysis of a {PLAN} algorithm in {Maude}",
  note =         "To appear in Proc. DSVV 2000"
}
@Unpublished{'carabetta:_ccs,
  author =       "G. Carabetta and P. Degano and F. Gadducci",
  title =        "{CCS} semantics via proved transition systems and rewriting logic",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'meseguer:_mappin_omrs,
  author =       "Jos\'e Meseguer and Carolyn Talcott",
  title =        "Mapping {OMRS} to rewriting logic",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'denker:_rewrit,
  author =       "Grit Denker and Jos\'e Meseguer and Carolyn Talcott",
  title =        "Rewriting semantics of meta-objects and composable distributed services",
  note =         "Manuscript, February 1999"
}
@Unpublished{'meseguer,
  author =       "Jos\'e Meseguer",
  title =        "A logical framework for distributed systems and communication protocols",
  note =         "{\em Proc.\ FORTE/PSTV'98\/}, {Kluwer}, 1998"
}
@Unpublished{'clavel:_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada",
  title =        "{Maude}: specification and programming in rewriting logic",
  note =         "SRI International, January 1999, \url{http://maude.csl.sri.com}"
}
@Unpublished{'verdejo:_execut_ccs_maude,
  author =       "A. Verdejo and N. Mart\'{\i}-Oliet",
  title =        "Executing and verifying {CCS} in {Maude}",
  note =         "Technical Report 99-00, Dto. Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense, Madrid; also, \url{http://maude.csl.sri.com}"
}
@Unpublished{'clavel:_tutor_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada",
  title =        "A Tutorial on {Maude}",
  note =         "SRI International, March 2000, \url{http://maude.csl.sri.com}"
}
@Unpublished{'clavel:_maude_metal,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada",
  title =        "{Maude} as a Metalanguage",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'clavel:_metal_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
  title =        "Metalevel computation in {Maude}",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'eker:_term,
  author =       "Steven Eker",
  title =        "Term rewriting with operator evaluation strategy",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'borovansky:_handl_elan,
  author =       "Peter Borovansk\'y and Salma Jamoussi and Pierre-Etienne Moreau and Christophe Ringeissen",
  title =        "Handling {ELAN} rewrite programs via an exchange format",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'bruni:_inter,
  author =       "Roberto Bruni and Jos\'e Meseguer and Ugo Montanari",
  title =        "Internal strategies in a rewriting implementation of tile systems",
  note =         "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Book{'futatsugi98:_cafeob_repor,
  author =       "K. Futatsugi and R. Diaconescu",
  title =        "{CafeOBJ} Report",
  publisher =    "World Scientific, AMAST Series",
  year =         "1998"
}
@Unpublished{'genet97:_provin,
  author =       "T. Genet",
  title =        "Proving termination of sequential reduction relation using tree automata",
  year =         "Manuscript; INRIA Lorraine, 1997"
}
@Unpublished{'gadducci,
  author =       "F. Gadducci and U. Montanari",
  title =        "The tile model",
  note =         "In G. Plotkin, C. Stirling and M. Tofte, eds., {\em Proof, Language and Interaction: Essays in Honour of Robin Milner}, MIT Press. Also, TR-96-27, C.S. Dept., Univ. of Pisa, 1996."
}
@Unpublished{'viry:_rewrit,
  author =       "P. Viry",
  title =        "Rewriting modulo a rewrite system",
  note =         "TR-95-20, C.S. Department, University of Pisa, 1996."
}
@Unpublished{'bruni:_proces,
  author =       "R. Bruni and J. Meseguer and U. Montanari",
  title =        "Process and term tile logic",
  note =         "Technical Report SRI-CSL-98-06, SRI International, July 1998."
}
@Unpublished{'stehr:_petri,
  author =       "M.-O. Stehr",
  title =        "A rewriting semantics for algebraic {Petri} nets",
  note =         "Manuscript, March 1998, SRI International and C.S. Dept., Univ. of Hamburg, 1998."
}
@Unpublished{'meseguer:_using_rewrit_logic_inter_archit,
  author =       "J. Meseguer and C. Talcott",
  title =        "Using Rewriting Logic to Interoperate Architectural Description Languages ({I and II})",
  note =         "Lectures at the Santa Fe and Seattle DARPA-EDCS Workshops, March and July 1997. \url{http://www-formal.stanford.edu/clt/ArpaNsf/adl-interop.html}."
}
@Unpublished{'contejean:_cime,
  author =       "E. Contejean and C. March\'e",
  title =        "The {CiME} system: tutorial and user's manual",
  note =         "Manuscript, Universit\'e Paris-Sud, Centre d'Orsay"
}
@Unpublished{'clavel:_maude,
  author =       "M. Clavel and F. Dur\'an and S. Eker and J. Meseguer and P. Lincoln",
  title =        "An introduction to {Maude} (beta version)",
  note =         "Manuscript, SRI International, March 1998"
}
@Unpublished{'garcia-luna98:_reliab,
  author =       "J. J. Garc\'{\i}a-Luna",
  title =        "Reliable broadcasting in computer networks",
  year =         "Manuscript; University of California at Santa Cruz, January 1998"
}
@InProceedings{'denker00:_formal,
  author =       "Grit Denker and Jos\'e Meseguer and Carolyn Talcott",
  title =        "Formal specification and analysis of active networks and communication protocols: the {Maude} experience",
  booktitle =    "Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Vol. 1, Hilton Head, South Carolina, January 2000",
  year =         "2000",
  pages =        "251-265",
  publisher =    "IEEE"
}
@InProceedings{'meseguer00:_rewrit_logic_maude,
  author =       "Jos\'e Meseguer",
  title =        "Rewriting Logic and {Maude}: Concepts and Applications",
  booktitle =    "Rewriting Techniques and Applications, RTA 2000",
  editor =       "L. Bachmair",
  year =         "2000",
  pages =        "1-26",
  volume =       "1833",
  publisher =    "Springer-Verlag",
  series =       'lncs
}
@InProceedings{'duran00:_princ_mobil_maude,
  author =       "Francisco Dur\'an and Steven Eker and Patrick Lincoln and Jos\'e Meseguer",
  title =        "Principles of {Mobile} {Maude}",
  booktitle =    "Agent Systems, Mobile Agents, and Applications, ASA/MA 2000",
  editor =      "D. Kotz and F. Mattern",
  year =         "2000",
  pages =        "73-85",
  volume =       "1882",
  publisher =    "Springer-Verlag",
  series =       'lncs
}
@InProceedings{'talcott97:_compos_seman_model_actor_theor,
  author =       "C. L. Talcott",
  title =        "Composable Semantic Models for Actor Theories",
  booktitle =    "Theoretical Aspects of Computer Science",
  series =       "Lecture Notes in Computer Science",
  editor =       "T. Ito M. Abadi",
  year =         "1997",
  pages =        "",
  publisher =    "Springer-Verlag"
}
@InProceedings{'talcott96:_actor_rewrit_theor,
  title =        "An Actor Rewriting Theory",
  author =       "C. L. Talcott",
  booktitle =    "Proc. 1st Intl. Workshop on Rewriting Logic and its Applications",
  editor =       "J. Meseguer",
  year =         "1996",
  series =       "Electronic Notes in Theoretical Computer Science",
  number =       "4",
  publisher =    "North Holland"
}
@Misc{'meseguer97,
  author =       "J. Meseguer and C. Talcott",
  title =        "",
  note =         "Technical presentations to EDCS Architecture Cluster Meeting, April and July 1997",
  year =         "1997"
}
@Book{'adamek94:_local_presen_acces_categ,
  author =       "J. Ad\'amek and J. Rosick\'y",
  title =        "Locally Presentable and Accessible Categories",
  publisher =    "Cambridge University Press",
  year =         "1994"
}
@Book{'mosses92:_action_seman,
  author =       "P. D. Mosses",
  title =        "Action Semantics",
  publisher =    "Cambridge University Press",
  year =         "1992"
}
@Article{'burmeister82:_partial_algeb,
  author =       "P. Burmeister",
  title =        "Partial Algebras---{S}urvey of a Unifying Approach Towards a Two-Valued Model Theory for Partial Algebras",
  journal =      "Algebra Universalis",
  year =         "1982",
  volume =       "15",
  pages =        "306-358"
}
@Article{'peled96:_combin,
  author =       "Doron Peled",
  title =        "Combining partial order reductions with on-the-fly model-checking",
  journal =      "Formal Methods in System Design",
  year =         "1996",
  volume =       "8",
  pages =        "39-64"
}
@Article{'strachey00:_fundam,
  author =       "C. Strachey",
  title =        "Fundamental concepts in programming languages",
  journal =      "Higher-Order and Symbolic Computation",
  year =         "2000",
  volume =       "13",
  pages =        "11-49"
}
@PhdThesis{'mossakowski96:_repres_hierar_graph_instit,
  author =       "T. Mossakowski",
  title =        "Representations, Hierarchies, and Graphs of Institutions",
  school =       "Fachbereich Mathematik und Informatik der Universit{\"a}t Bremen",
  year =         "1996"
}
@PhdThesis{'knapp00,
  author =       "A. Knapp",
  title =        "A formal approach to object-oriented software engineering",
  school =       "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen",
  year =         "2000",
  note =         "To appear"
}
@PhdThesis{'quesada97:_scp,
  author =       "J. F. Quesada",
  title =        "{The {SCP} parsing algorithm based on syntactic constraint propagation}",
  school =       "University of Seville",
  howpublished = "{Doctoral Dissertation}",
  year =         "1997"
}
@PhdThesis{'deursen94:_execut_languag_defin,
  author =       "A. van Deursen",
  title =        "Executable Language Definitions",
  school =       "University of Amsterdam",
  year =         "1994"
}
@PhdThesis{'lechner97:_objec,
  author =       "U. Lechner",
  title =        "Object-oriented specification of distributed systems",
  school =       "University of Passau",
  year =         "1997"
}
@Unpublished{'denker:_formal_specif_analy_activ_networ_commun_protoc,
  author =       "Grit Denker and Jos\'e Meseguer and Carolyn Talcott",
  title =        "Formal Specification and Analysis of Active Networks and Communication Protocols: The {Maude} Experience",
  note =         "Manuscript, SRI International, October 1999"
}
@Unpublished{'basin:_reflec,
  author =       "David Basin and Manuel Clavel and Jos\'e Meseguer",
  title =        "Reflective metalogical frameworks",
  note =         "In Proc. LFM'99, (Paris, France, September 1999) \url{http://www.cs.bell-labs.com/~felty/LFM99/}"
}
@InProceedings{'clavel99:_maude,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Jos\'e Meseguer and Mark-Oliver Stehr",
  title =        "{Maude} as a formal meta-tool",
  booktitle =    "FM'99 --- Formal Methods",
  year =         "1999",
  editor =       "J. Wing and J. Woodcock",
  pages =        "1684-1703",
  publisher =    "Springer-Verlag",
  volume =       "1709",
  series =       'lncs
}
@InProceedings{'pita99:_using,
  author =       "Isabel Pita and Narciso Mart\'{\i}-Oliet",
  title =        "Using reflection to specify transaction sequences in rewriting logic",
  booktitle =    "Recent Trends in Algebraic Development Techniques",
  year =         "1999",
  editor =       "J. L. Fiadeiro",
  pages =        "261-276",
  publisher =    "Springer-Verlag",
  volume =       "1589",
  series =       'lncs
}
@InProceedings{'fiadeiro00:_towar_verif_logic_rewrit_logic,
  author =       "J. Fiadeiro and N. Mart\'{\i}-Oliet and T. Maibaum and J. Meseguer and I. Pita",
  title =        "Towards a Verification Logic for Rewriting Logic",
  booktitle =    "Recent Trends in Algebraic Development Techniques, WADT'99",
  year =         "2000",
  editor =       "D. Bert and C. Choppy and P. Mosses",
  pages =        "438-458",
  publisher =    "Springer-Verlag",
  volume =       "1827",
  series =       'lncs
}
@InProceedings{'mossakowski96:_equiv_various_logic_framew_partial_algeb,
  author =       "T. Mossakowski",
  title =        "Equivalences among Various Logical Frameworks of Partial Algebras",
  booktitle =    "Computer Science Logic, Paderborn, Germany, September 1995, Selected Papers",
  year =         "1996",
  editor =       "H. Kleine B{\"u}ning",
  pages =        "403-433",
  publisher =    "Springer-Verlag",
  volume =       "1092",
  series =       'lncs
}
@InProceedings{'meseguer98:_formal_inter,
  author =       "Jos\'e Meseguer",
  title =        "Formal Interoperability",
  booktitle =    "Proceedings of the 1998 Conference on Mathematics in Artificial Intelligence, Fort Laurerdale, Florida, January 1998",
  note =         "\url{http://rutcor.rutgers.edu/~amai/Proceedings.html}",
  year =         "1998"
}
@InProceedings{'coste79:_local_spect_sheaf_repres,
  author =       "M. Coste",
  title =        "Localisation, Spectra and Sheaf Representation",
  booktitle =    "Applications of Sheaves",
  year =         "1979",
  editor =       "M. P. Fourman and C. J. Mulvey and D. S. Scott",
  pages =        "212-238",
  publisher =    "Springer-Verlag",
  volume =       "753",
  series =       "Lecture Notes in Mathematics"
}
@Article{'manca90:_equat_type_logic,
  author =       "V. Manca and A. Salibra and G. Scollo",
  title =        "Equational Type Logic",
  journal =      "Theoretical Computer Science",
  year =         "1990",
  volume =       "77",
  pages =        "131-159"
}
@Article{'morasca91:_timed,
  author =       "S. Morasca and M. Pezz\`e and M. Trubian",
  title =        "Timed high-level nets",
  journal =      "J. of Real-Time Systems",
  year =         "1991",
  volume =       "3",
  pages =        "165-189"
}
@InProceedings{'mosses89:_unified_algeb_instit,
  author =       "P. D. Mosses",
  title =        "Unified Algebras and Institutions",
  booktitle =    "Proc.\ Fourth Annual IEEE Symp.\ on Logic in Computer Science",
  year =         "1989",
  pages =        "304-312",
  address =      "Asilomar, California",
  month =        "June"
}
@TechReport{'wadge82:_class_algeb,
  author =       "W. W. Wadge",
  title =        "Classified Algebras",
  year =         "1982",
  institution =  "University of Warwick"
}
@TechReport{'clavel97:_desig_implem_cafe_prover_churc,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Jos\'e Meseguer",
  title =        "Design and Implementation of the {Cafe} Prover and {Church-Rosser} Checker Tools",
  year =         "1997",
  month =        "December",
  institution =  "SRI International"
}
@Unpublished{'stuart91:_class_model_abstr_data_type_specif,
  author =       "G. F. Stuart and W. W. Wadge",
  title =        "Classified Model Abstract Data Type Specification",
  year =         "1991",
  note =         "Manuscript, University of Victoria"
}
@Unpublished{'clavel98:_reflec_gener_logic_rewrit_logic,
  author =       "Manuel Clavel",
  title =        "Reflection in General Logics and in Rewriting Logic, with Applications to the {Maude} Language",
  year =         "1998",
  note =         "Ph.D. Thesis, University of Navarre"
}
@Book{'clavel00:_reflec_rewrit_logic,
  author =       "Manuel Clavel",
  title =        "Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications",
  year =         "2000",
  publisher =    "CSLI Publications"
}
@Unpublished{'duran99:_reflec_modul_algeb_applic_maude_languag,
  author =       "Francisco Dur\'an",
  title =        "A Reflective Module Algebra with Applications to the {Maude} Language",
  year =         "1999",
  note =         "Ph.D. Thesis, University of M\'alaga"
}
@Unpublished{'meseguer98:_member,
  author =       "Jos\'e Meseguer",
  title =        "Membership algebra as a logical framework for equational specification",
  year =         "1998",
  note =         "In F. Parisi-Presicce, ed., {\it Proc. WADT'97}, 18--61, Springer LNCS 1376"
}
@Unpublished{'meseguer98:_mappin_tile_logic_rewrit_logic,
  author =       "Jos\'e Meseguer and Ugo Montanari",
  title =        "Mapping Tile Logic into Rewriting Logic",
  year =         "1998",
  note =         "in F. Parisi-Presicce, ed., Proc. WADT'97, Springer LNCS 1376"
}
@Unpublished{'semantics97:_casl,
  author =       "{CoFI Task Group on Semantics}",
  title =        "{CASL}---{T}he {CoFI} Algebraic Specification Language, Version 0.97, {S}emantics",
  month =        "July",
  year =         "1997",
  note =         "\url{http://www.brics.dk/Projects/CoFI}"
}
@InProceedings{'poigne85:_algeb_categ,
  author =       "A. Poign\'e",
  title =        "Algebra Categoricaly",
  booktitle =    "Category Theory and Computer Programming",
  year =         "1985",
  editor =       "D. Pitt et al.",
  pages =        "76-102",
  publisher =    "Springer-Verlag",
  volume =       "240",
  series =       'lncs
}
@InProceedings{'clavel98:_build,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Jos\'e Meseguer",
  title =        "Building equational proving tools by reflection in rewriting logic",
  year =         "1998",
  month =        "April",
  booktitle =    "Proc. of the CafeOBJ Symposium '98, Numazu, Japan",
  publisher =    "CafeOBJ Project",
  note =         "\url{http://maude.csl.sri.com}"
}
@InProceedings{'clavel00:_build,
  author =       "Manuel Clavel and Francisco Dur\'an and Steven Eker and Jos\'e Meseguer",
  title =        "Building equational proving tools by reflection in rewriting logic",
  year =         "2000",
  booktitle =    "CAFE: An Industrial-Strength Algebraic Formal Method",
  publisher =    "Elsevier",
  note =         "\url{http://maude.csl.sri.com}"
}
@InProceedings{'ishisone98:_brute,
  author =       "M. Ishisone and T. Sawada",
  title =        "Brute: brute force rewriting engine",
  year =         "1998",
  month =        "April",
  booktitle =    "Proc. of the CafeOBJ Symposium '98, Numazu, Japan",
  publisher =    "CafeOBJ Project"
}
@InProceedings{'nakajima98:_encod_cafeob,
  author =       "S. Nakajima",
  title =        "Encoding mobility in {CafeOBJ}: an exercise of describing mobile code-based software architecture",
  year =         "1998",
  month =        "April",
  booktitle =    "Proc. of the CafeOBJ Symposium '98, Numazu, Japan",
  publisher =    "CafeOBJ Project"
}
@InProceedings{'knapp98:_case_studies_cafeob,
  author =       "A. Knapp",
  title =        "Case Studies with {CafeOBJ}",
  year =         "1998",
  month =        "April",
  booktitle =    "Proc. of the CafeOBJ Symposium '98, Numazu, Japan",
  publisher =    "CafeOBJ Project"
}
@Article{'freyd66:_algeb,
  author =       "P. Freyd",
  title =        "Algebra valued functors in general and tensor products in particular",
  journal =      "Coll. Math.",
  volume =       "14",
  pages =        "89-106",
  year =         "1966"
}
@InProceedings{'lawvere68:_some,
  author =       "F. W. Lawvere",
  title =        "Some algebraic problems in the context of functorial semantics of algebraic theories",
  booktitle =    "Proc. Midwest Category Seminar II",
  year =         "1968",
  pages =        "41-61",
  publisher =    "Springer Lecture Notes in Mathematics No. 61"
}
@Book{'pfitzmann96:_digit_signat_schem,
  title =        "Digital Signature Schemes",
  author =       "B. Pfitzmann",
  year =         "1996",
  publisher =    "Springer-Verlag",
  note =         "LNCS, Volume 1100"
}
@InProceedings{'kirchner92:_implem_paral_rewrit,
  author =       "C. Kirchner and P. Viry",
  title =        "Implementing Parallel Rewriting",
  booktitle =    "Parallelization in Inference Systems",
  year =         "1992",
  editor =       "B. Fronh{\"o}fer and G. Wrightson",
  pages =        "123-138",
  publisher =    "Springer LNAI 590"
}
@InProceedings{'bouhoula97:_specif_proof_member_equat_logic,
  author =       "Adel Bouhoula and Jean-Pierre Jouannaud and Jos\'e Meseguer",
  title =        "Specification and Proof in Membership Equational Logic",
  booktitle =    "Proceedings TAPSOFT'97",
  year =         "1997",
  editor =       "M. Bidoit and M. Dauchet",
  publisher =    "Springer-Verlag",
  volume =       "1214",
  pages =        "67-92",
  series =       'lncs
}
@InProceedings{'genet97:_termin,
  author =       "T. Genet",
  title =        "Termination proofs using gpo ordering constraints",
  booktitle =    "Proceedings 22nd International Colloquium on Trees in Algebra and Programming",
  year =         "1997",
  editor =       "M. Bidoit and M. Dauchet",
  publisher =    "Springer-Verlag",
  volume =       "1214",
  pages =        "249-260",
  series =       'lncs
}
@InProceedings{'demers95:_reflec,
  author =       "\mbox{Fran\c{c}ois-Nicola Demers and Jacques Malenfant}",
  title =        "Reflection in logic, functional and object-oriented programming: a Short Comparative Study",
  booktitle =    "IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI",
  year =         "1995",
  month =        "August",
  pages =        "29-38"
}
@Unpublished{'malenfant:_seman_intros_reflec_protot_based_languag,
  author =       "C. Dony J. Malenfant and P. Cointe",
  title =        "A Semantics of Introspection in a Reflective Prototype-Based Language",
  note =         "To appear in \emph{Lisp and Symbolic Computation}"
}
@Unpublished{'meseguer:_member_algeb,
  author =       "Jos\'e Meseguer",
  title =        "Membership Algebra",
  note =         "Lecture and abstract at the Dagstuhl Seminar on ``Specification and Semantics,'' July 9, 1996"
}
@Unpublished{'meseguer:_rewrit_logic_secur_mobil,
  author =       "Jos\'e Meseguer and Carolynn Talcott",
  title =        "Rewriting Logic and Secure Mobility",
  note =         "To appear in {\em Proc. Workshop on Foundations for Secure Mobile Code}, Monterey, California, March 1997"
}
@Unpublished{'walicki:_algeb,
  author =       "M. Walicki and S. Meldal",
  title =        "Algebraic approaches to nondeterminism---an overview",
  note =         "To appear in \emph{Computing Surveys}"
}
@Unpublished{'saraswat96:_formal_found,
  author =       "Vijay Saraswat and Jos\'{e} Meseguer and Carolyn Talcott and Radha Jagadeesan",
  title =        "Formal Foundations for {\bf tic-toc}",
  month =        "February",
  year =         "1996"
}
@Unpublished{'hankin:_gamma,
  author =       "Chris Hankin",
  title =        "Gamma",
  note =         "In C. Hankin and H.R. Nielson (editors) {\em New Trends in the Integration of Paradigms}, Dagstuhl Seminar Report 125, (9538), 1995"
}
@Unpublished{'aczel:_churc_rosser,
  author =       "Peter Aczel",
  title =        "A general {Church-Rosser} theorem",
  note =         "Manuscript, University of Manchester, 1978"
}
@InProceedings{'meseguer00:_rewrit_logic_maude,
  author =       "Jos\'e Meseguer",
  title =        "Rewriting Logic and {Maude}: a wide-spectrum semantic framework for object-based distributed systems",
  booktitle =    "Formal Methods for Open Object-based Distributed Systems, FMOODS 2000",
  editor =       "S. Smith and C. L. Talcott",
  year =         "2000",
  pages =        "89-117",
  publisher =    "Kluwer"
}
@InProceedings{'meseguer00:_specif_maude,
  author =       "Jos\'e Meseguer",
  title =        "Specifying, analyzing, and programming communication systems in {Maude}",
  booktitle =    "Communication-Based Systems",
  editor =       "G. Hommel",
  year =         "2000",
  pages =        "93-101",
  publisher =    "Kluwer"
}
@InProceedings{'talcott97:_inter_seman_compon_distr_system,
  author =       "C. L. Talcott",
  title =        "Interaction Semantics for Components of Distributed Systems",
  booktitle =    "Formal Methods for Open Object-based Distributed Systems",
  editor =       "E. Najm and J-B. Stefani",
  year =         "1997",
  pages =        "154-169",
  publisher =    "Chapman & Hall"
}
@InProceedings{'najm97:_comput,
  author =       "E. Najm and J-B. Stefani",
  title =        "Computational models for open distributed systems",
  booktitle =    "Formal Methods for Open Object-based Distributed Systems, Vol. 2",
  editor =       "H. Bowman and J. Derrick",
  year =         "1997",
  pages =        "157-176",
  publisher =    "Chapman & Hall"
}
@Article{'agha96:_found_actor_comput,
  author =       "G. Agha and I. A. Mason and S. F. Smith and C. L. Talcott",
  title =        "A Foundation for Actor Computation",
  journal =      "Journal of Functional Programming",
  year =         "1996",
  note =         "to appear"
}
@Unpublished{'gupta:_comput_contin_chang,
  author =       "Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat and Danny G. Bobrow",
  title =        "Computing with Continuous Change",
  note =         "Submitted for publication, October 1995"
}
@Unpublished{'saraswat:_timed_defaul_concur_const_progr,
  author =       "Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta",
  title =        "Timed Default Concurrent Constraint Programming",
  note =         "Submitted for publication. Extended abstract published in Proc. of the 22nd Ann. ACM SIGPLAN SIGACT Sym. on the Principles of Prog. Lang., San Francisco, January 1995"
}
@Unpublished{'saraswat,
  author =       "Vijay A. Saraswat and Vineet Gupta",
  title =        "The {\bf tic-toc} computation model",
  note =         "Pueblo Working Document \#1, July 1996"
}
@Misc{'aitken:_metal_framew_ii,
  author =       "William E. Aitken and Robert L. Constable and Judith L. Underwood",
  title =        "Metalogical Frameworks {II}: Using Reflected Decision Procedures",
  howpublished = "Technical Report, Computer Sci. Dept., Cornell University, 1993; also, lecture at the Max Planck Institut f{\"u}r Informatik, Saarbr{\"u}cken, Germany, July 1993"
}
@Unpublished{'kirchner95:_person,
  author =       "C. Kirchner and H. Kirchner",
  title =        "Personal communication",
  year =         "July 1995"
}
@Unpublished{'harrison95:_metat,
  author =       "John Harrison",
  title =        "Metatheory and reflection in theorem proving: a survey and critique",
  note =         "University of Cambridge Computer Laboratory",
  year =         "1995"
}
@Unpublished{'meseguer94:_formal_inter,
  author =       "Jos\'e Meseguer",
  title =        "Formal Interoperability",
  note =         "Paper presented at the 14th IMACS World Congress, Atlanta, Georgia, July",
  year =         "1994"
}
@PhdThesis{'vittek94:_elan,
  author =       "M. Vittek",
  title =        "{ELAN}: Un cadre logique pour le prototypage de langages de programmation avec contraintes",
  school =       "Universit\'e Henry Poincar\'e --- Nancy I",
  year =         "1994"
}
@PhdThesis{'levy94,
  author =       "J. Levy",
  title =        "The calculus of refinements: a formal specification model based on inclusions",
  school =       "Universitat Polit\`ecnica de Catalunya",
  year =         "1994"
}
@InProceedings{'corradini95:_relat,
  author =       "A. Corradini and F. Gadducci and U. Montanari",
  title =        "Relating two categorical models of term rewriting",
  booktitle =    "Proc. Rewriting Techniques and Applications, Kaiserslautern",
  editor =       "J. Hsiang",
  pages =        "225-240",
  year =         "1995"
}
@InProceedings{'gadducci95:_enric,
  author =       "F. Gadducci and U. Montanari",
  title =        "Enriched categories as models of computation",
  booktitle =    "Proc. $5^{th}$ Italian Conference on Theoretical Computer Science, Ravello",
  year =         "1995"
}
@InProceedings{'kirchner95:_protot,
  author =       "H. Kirchner and P.-E. Moreau",
  title =        "Prototyping completion with constraints using computational systems",
  booktitle =    "Proc. Rewriting Techniques and Applications, Kaiserslautern",
  editor =       "J. Hsiang",
  year =         "1995"
}
@InProceedings{'battiston94:_seman,
  author =       "E. Battiston and V. Crespi and F. De Cindio and G. Mauri",
  title =        "Semantic frameworks for a class of modular algebraic nets",
  booktitle =    "Proc. of the 3rd International AMAST Conference",
  year =         "1994",
  editor =       "M. Nivat and C. Rattray and T. Russ and G. Scollo",
  publisher =    "Springer-Verlag",
  series =       "Workshops in Computing"
}
@InProceedings{'clavel96:_axiom,
  author =       "Manuel Clavel and Jos\'e Meseguer",
  title =        "Axiomatizing reflective logics and languages",
  booktitle =    "Proceedings of Reflection'96, San Francisco, California, April 1996",
  editor =       "Gregor Kiczales",
  pages =        "263-288",
  note =         "\url{http://jerry.cs.uiuc.edu/reflection/}",
  year =         "1996"
}
@Proceedings{'kiczales96:_proceed_san_franc_calif_april,
  title =        "Proceedings of Reflection'96, San Francisco, California, April 1996",
  editor =       "Gregor Kiczales",
  publisher =    "Xerox PARC",
  year =         "1996"
}
@Proceedings{'danvy96:_proceed_partial_evaluat_dagst_meetin,
  title =        "Proceedings of the Partial Evaluation Dagstuhl Meeting, 1996",
  editor =       "O. Danvy and R. Gl{\"u}ck and P. Thiemann",
  publisher =    "Springer LNCS 1110",
  year =         "1996"
}
@Proceedings{'cointe99:_meta_level_archit_reflec,
  title =        "Meta-Level Architectures and Reflection",
  editor =       "P. Cointe",
  publisher =    "Springer LNCS 1616",
  year =         "1999"
}
@InProceedings{'lechner95:_objec_orien_airpor,
  author =       "U. Lechner and C. Lengauer and M. Wirsing",
  title =        "An Object-Oriented Airport",
  booktitle =    "Recent Trends in Data Type Specification, Santa Margherita, Italy, May/June 1994",
  year =         "1995",
  editor =       "E. Astesiano and G. Reggio and A. Tarlecki",
  pages =        "351-367",
  publisher =    "Springer LNCS 906"
}
@InProceedings{'mossakowski96:_equiv,
  author =       "T. Mossakowski",
  title =        "Equivalences among various logical frameworks of partial algebras",
  booktitle =    "9th Workshop on Computer Science Logic, CSL'95, Paderborn, September 1995",
  year =         "1996",
  editor =       "H. Kleine B{\"u}ning",
  pages =        "403-433",
  publisher =    "Springer LNCS 1092"
}
@InProceedings{'corradini95:_cpo,
  author =       "A. Corradini and F. Gadducci",
  title =        "{CPO} models for infinite term rewriting",
  booktitle =    "Proc.  AMAST'95",
  year =         "1995",
  pages =        "368-384",
  publisher =    "Springer LNCS 936"
}
@InProceedings{'borovansky95:_implem,
  author =       "P. Borovansk\'y",
  title =        "Implementation of higher-order unification based on calculus of explicit substitutions",
  booktitle =    "Proc. SOFTSEM'95",
  year =         "1995",
  editor =       "M. Bartosek and J. Staudek and J. Wiedermann",
  pages =        "363-368",
  publisher =    "Springer LNCS 1012"
}
@InProceedings{'alur93:_hybrid,
  author =       "R. Alur and C. Courcoubetis and T. A. Henzinger and P.-H. Ho",
  title =        "Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems",
  booktitle =    "Workshop on Theory of Hybrid Systems",
  year =         "1993",
  editor =       "R. L. Grossman and A. Nerode and A. P. Ravn and H. Rischel",
  pages =        "209-229",
  publisher =    "Springer LNCS 739"
}
@InProceedings{'meseguer95:_from,
  author =       "Jos\'e Meseguer and Narciso Mart\'{\i}-Oliet",
  title =        "From abstract data types to logical frameworks",
  booktitle =    "Recent Trends in Data Type Specification, Santa Margherita, Italy, May/June 1994",
  year =         "1995",
  editor =       "E. Astesiano and G. Reggio and A. Tarlecki",
  pages =        "48-80",
  publisher =    "Springer LNCS 906"
}
@InProceedings{'bettaz93:_how,
  author =       "M. Bettaz and M. Maouche",
  title =        "How to specify nondeterminism and true concurrency with algebraic term nets",
  booktitle =    "Recent Trends in Data Type Specification",
  year =         "1993",
  editor =       "M. Bidoit and C. Choppy",
  pages =        "164-180",
  publisher =    "Springer LNCS 655"
}
@InProceedings{'bettaz95:_model_ecatn,
  author =       "M. Bettaz and M. Maouche",
  title =        "Modeling of object based systems with hidden sorted {ECATNets}",
  booktitle =    "Proc. of MASCOTS'95, Durham, North Carolina",
  year =         "1995",
  pages =        "307-311",
  publisher =    "IEEE"
}
@Unpublished{'futatsugi94:_cafe,
  author =       "K. Futatsugi and T. Sawada",
  title =        "Cafe as an extensible specification environment",
  note =         "In {\it Proc. of the Kunming International CASE Symposium, Kunming, China, November}",
  year =         "1994"
}
@Unpublished{'reichel:_approac_objec_seman_based_termin_co,
  author =       "H. Reichel",
  title =        "An Approach to Object Semantics Based on Terminal Co-algebras",
  note =         "To appear in {\it Mathematical Structures in Computer Science\/}, 1995. Presented at {\em Dagstuhl Seminar on Specification and Semantics}, Schloss Dagstuhl, Germany, May 1993"
}
@InProceedings{'landauer93:_softw_infras_system_engin_suppor,
  author =       "C. Landauer and K. Bellman and A. Gillam",
  title =        "Software Infrastructure for System Engineering Support",
  booktitle =    "{AAAI}'93 Workshop on Artificial Intelligence for System Engineering",
  year =         "1993"
}
@TechReport{'91:_common_objec_reques_borker_archit_specif,
  title =        "Common Object Request Borker Architecture and Specification",
  key =          "OMG",
  institution =  "Hewlett-Packard Company and SunSoft, Inc.",
  number =       "{OMG Document Number 91.12.1}",
  year =         "1991"
}
@TechReport{'stell94:_model,
  author =       "J. G. Stell",
  title =        "Modelling term rewriting systems by sesqui-categories",
  institution =  "Keele University",
  number =       "{TR94-02}",
  year =         "1994",
  note =         "Also in shorter form in Proc. C.A.E.N., 1994, pp. 121--127"
}
@TechReport{'purtilo88:_softw_inter_techn,
  author =       "J. M. Purtilo",
  title =        "A Software Interconnection Technology",
  institution =  "University of Maryland",
  number =       "{UMIACS-TR-88-83, CS-TR-2139}",
  year =         "1988"
}
@Article{'lee90:_partial,
  author =       "J. Lee and T. W. Malone",
  title =        "Partially shared views: {A} {SC}heme for Communicating among Groups that Use Different Type Hierarchies",
  journal =      "{ACM} Transactions on Information Systems",
  volume =       "8",
  number =       "1",
  pages =        "1-26",
  year =         "1990"
}
@Article{'bouhoula00:_specif_proof_member_equat_logic,
  author =       "Adel Bouhoula and Jean-Pierre Jouannaud and Jos\'e Meseguer",
  title =        "Specification and Proof in Membership Equational Logic",
  journal =      "Theoretical Computer Science",
  volume =       "236",
  pages =        "35-132",
  year =         "2000"
}
@Article{'lippmann87,
  author =       "R. P. Lippmann",
  title =        "An introduction to computing with neural nets",
  journal =      "{IEEE} {ASSP} Magazine",
  month =        "April",
  pages =        "4-22",
  year =         "1987"
}
@InProceedings{'genesereth92:_agent_based_framew_softw_inter,
  author =       "M. R. Genesereth",
  title =        "An Agent-Based Framework for Software Interoperation",
  booktitle =    "Proceedings {DARPA} Software Technology Conference",
  year =         "1992",
  pages =        "359-366"
}
@InProceedings{'lewis91:_wrapp,
  author =       "J. W. Lewis and the {DICE} Team",
  title =        "Wrappers: Integration Utilities and Services for the {DICE} Architecture",
  booktitle =    "Proceedings {CALS & CE}: Computer Aided Logistic Systems and Concurrent Engineering",
  year =         "1991",
  pages =        "445-457"
}
@Article{'90:_connec_tools_using_messag_passin_field_envir,
  title =        "Connecting Tools Using Message Passing in the Field Environment",
  journal =      "{IEEE} Software",
  month =        "July",
  year =         "1990",
  pages =        "57-66"
}
@InProceedings{'bellman91:_approac_integ_creat_flexib_softw,
  author =       "K. Bellman",
  title =        "An Approach to Integrating and Creating Flexible Software Environments Supporting the Design of Complex Systems",
  booktitle =    "Proceedins of {SOAR}'91: The 1991 Symposium on Space Operations, Automation and Research, 9-11 July 1991, Houston, Texas",
  year =         "1991",
  institution =  "Computer Science and Technology SubDivision, The Aeorspace Corporation, Los Angeles CA, 90009-2957"
}
@InProceedings{'landauer93:_integ_simul_envir,
  author =       "C. Landauer and K. Bellman",
  title =        "Integrated Simulation Environments",
  booktitle =    "Proceedins of {DARPA} Variable-Resolution Modeling Conference, 5-6 May 1992, Herndon, Virginia",
  year =         "1993",
  institution =  "CF-103-DARPA, published by RAND"
}
@InProceedings{'landauer93:_role_self_refer_logic_softw,
  author =       "C. Landauer and K. Bellman",
  title =        "The Role of Self-Referential Logics in a Software Architecture Using Wrappings",
  year =         "1993",
  booktitle =    "3rd Irvine Software Symposium"
}
@InProceedings{'walter90:_some,
  author =       "D. Walter and K. Bellman",
  title =        "Some issues in model integration",
  year =         "1990",
  booktitle =    "1990 Eastern Simulation Conference"
}
@InCollection{'marti-oliet94:_gener_logic_logic_framew,
  author =       "Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
  title =        "General Logics and Logical Frameworks",
  editor =       "D. Gabbay",
  booktitle =    "What is a Logical System?",
  year =         "1994",
  pages =        "355-392",
  publisher =    "Oxford University Press"
}
@InCollection{'katz97:_refin,
  author =       "Shmuel Katz",
  title =        "Refinement with global equivalence proofs in temporal logic",
  booktitle =    "DIMACS Series in Discrete Mathematics, Vol. 29",
  year =         "19997",
  pages =        "59-78",
  publisher =    "American Mathematical Society"
}
@InCollection{'jagannathan96:_dataf_model,
  author =       "R. Jagannathan",
  title =        "Dataflow Models",
  editor =       "E. Y. Zoyama",
  booktitle =    "Parallel and Distributed Computing Handbook",
  year =         "1996",
  pages =        "223-238",
  publisher =    "McGraw Hill"
}
@InCollection{'lincoln94:_specif,
  author =       "Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
  title =        "Specification, transformation, and programming of concurrent systems in rewriting logic",
  editor =       "G. E.  Blelloch and K. M. Chandy and S. Jagannathan",
  booktitle =    "Specification of Parallel Algorithms",
  pages =        "309-339",
  publisher =    "DIMACS Series, Vol. 18, American Mathematical Society",
  year =         "1994"
}
@InCollection{'harper89:_logic_lf,
  author =       "R. Harper and D. Sanella and A. Tarlecki",
  title =        "Logic representation in {LF}",
  editor =       "D. H. Pitt et al.",
  booktitle =    "Category Theory and Computer Science",
  year =         "1989",
  pages =        "250-272",
  publisher =    "Springer LNCS 389"
}
@InCollection{'corradini91,
  author =       "Andrea Corradini and Ugo Montanari",
  title =        "An algebra of graphs and graph rewriting",
  editor =       "D. H. Pitt et al.",
  booktitle =    "Category Theory and Computer Science",
  year =         "1991",
  pages =        "236-260",
  publisher =    "Springer LNCS 530"
}
@InCollection{'ringeissen94:_combin,
  author =       "Christophe Ringeissen",
  title =        "Combination of matching algorithms",
  editor =       "P. Enjalbert et al.",
  booktitle =    "Proceedings of the 11th TACS Symposium",
  year =         "1994",
  pages =        "187-198",
  publisher =    "Springer LNCS 775"
}
@InCollection{'ringeissen97:_protot_elan,
  author =       "Christophe Ringeissen",
  title =        "Prototyping combination of unification algorithms with the {ELAN} rule-based programming language",
  editor =       "H. Comon",
  booktitle =    "Proceedings of the 8th Conference on Rewriting Techniques and Applications",
  year =         "1997",
  publisher =    "Springer LNCS 1232"
}
@InCollection{'ogata97,
  author =       "K. Ogata and K. Futatsugi",
  title =        "An abstract machine for order-sorted conditional term rewriting systems",
  editor =       "H. Comon",
  booktitle =    "Proceedings of the 8th Conference on Rewriting Techniques and Applications",
  year =         "1997",
  publisher =    "Springer LNCS 1232"
}
@InCollection{'meseguer81:_compl,
  author =       "Jos\'e Meseguer",
  title =        "Completions, factorizations and colimits for $\omega$-posets",
  booktitle =    "Mathematical Logic in Computer Science, Salgotarjan, 1978, Colloquia Mathematica Societatis Janos Bolyai",
  volume =       "26",
  year =         "1981",
  pages =        "509-545",
  publisher =    "North Holland"
}
@InProceedings{'cerioli93:_may_i,
  author =       "Maura Cerioli and Jos\'e Meseguer",
  title =        "May {I} borrow your logic?",
  booktitle =    "Proceedings of MFCS'93, 18th International Symposium on Mathematical Foundations of Computer Science",
  year =         "1993",
  pages =        "342-351",
  publisher =    "Springer LNCS 711"
}
@InProceedings{'mosses99:_found_modul_sos,
  author =       "Peter Mosses",
  title =        "Foundations of Modular {SOS}",
  booktitle =    "Proceedings of MFCS'99, 24th International Symposium on Mathematical Foundations of Computer Science",
  year =         "1999",
  pages =        "70-80",
  publisher =    "Springer LNCS 1672"
}
@InProceedings{'braga00:_maude_action_tool,
  author =       "C. Braga and H. Haeusler and J. Meseguer and P. Mosses",
  title =        "Maude {Action} {Tool}: using reflection to map action semantics to rewriting logic",
  booktitle =    "Proceedings of AMAST'2000",
  year =         "2000",
  publisher =    "Springer LNCS",
  note =         "To appear"
}
@InProceedings{'parisi-presicce93:_heter,
  author =       "F. Parisi-Presicce and S. Veglioni",
  title =        "Heterogeneous unified algebras",
  booktitle =    "Proceedings of MFCS'93, 18th International Symposium on Mathematical Foundations of Computer Science",
  year =         "1993",
  pages =        "618-628",
  publisher =    "Springer LNCS 711"
}
@InProceedings{'meseguer94:_place_trans_petri,
  author =       "Jos\'e Meseguer and Ugo Montanari and Vladimiro Sassone",
  title =        "On the model of computation of {Place/Transition} {Petri} nets",
  booktitle =    "Proceedings 15th International Conference on Application and Theory of Petri Nets",
  year =         "1994",
  pages =        "16-38",
  publisher =    "Springer LNCS 815"
}
@InProceedings{'meseguer97:_repres_theor_petri,
  author =       "Jos\'e Meseguer and Ugo Montanari and Vladimiro Sassone",
  title =        "Representation Theorems for {Petri} nets",
  booktitle =    "Foundations of Computer Science: Potential, Theory, Cognition",
  editor =       "C. Freska and M. Jantzen and R. Valk",
  year =         "1997",
  pages =        "239-249",
  publisher =    "Springer LNCS 1337"
}
@InProceedings{'lincoln94:_compil_simd_mimd_simd,
  author =       "Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'{e} Meseguer and Livio Ricciulli",
  title =        "Compiling rewriting onto {SIMD} and {MIMD/SIMD} machines",
  booktitle =    "Proceedings of PARLE'94, 6th International Conference on Parallel Architectures and Languages Europe",
  year =         "1994",
  pages =        "37-48",
  publisher =    "Springer LNCS 817"
}
@InProceedings{'lincoln94:_rewrit_rule_machin_node_archit_perfor,
  author =       "Patrick Lincoln and Jos\'{e} Meseguer and Livio Ricciulli",
  title =        "The {Rewrite Rule Machine Node Architecture and its Performance}",
  booktitle =    "Proceedings of CONPAR'94, Linz, Austria, September 1994",
  year =         "1994",
  pages =        "509-520",
  publisher =    "Springer LNCS 854"
}
@InProceedings{'arnold92:_splas,
  author =       "Jeffrey Arnold and Duncan Buel and Elaine Davis",
  title =        "{SPLASH} 2",
  booktitle =    "Proceedings of the 1992 Symposium on Parallel Algorithms and Architectures",
  year =         "1992",
  publisher =    "ACM"
}
@InProceedings{'fiadeiro95:_inter,
  author =       "J. L. Fiadeiro and T. Maibaum",
  title =        "Interconnecting formalisms: supporting modularity, reuse and incrementality",
  booktitle =    "Proceedings of the 1995 SIGSOFT Conference, Washington DC, USA",
  year =         "1995",
  pages =        "72-80",
  publisher =    "ACM"
}
@InCollection{'winkler93:_progr_obj_maude,
  author =       "Timothy Winkler",
  title =        "Programming in {OBJ} and {Maude}",
  editor =       "Peter Lauer",
  booktitle =    "Functional Programming, Concurrency, Simulation and Automated Reasoning",
  year =         "1993",
  pages =        "229-277",
  publisher =    "Springer LNCS 693"
}
@InProceedings{'futatsugi85:_princ_obj2,
  author =       "Kokichi Futatsugi and Joseph Goguen and Jean-Pierre Jouannaud and Jos\'{e} Meseguer",
  title =        "Principles of {OBJ}2",
  year =         "1985",
  booktitle =    "Proceedings of 12th ACM Symposium on Principles of Programming Languages",
  editor =       "Brian Reid",
  publisher =    "ACM",
  pages =        "52-66"
}
@TechReport{'hill92:_goedel_languag,
  author =       "P. M. Hill and J. W. Lloyd",
  title =        "The {G\"odel} Language",
  institution =  "University of Bristol, Computer Science Department",
  number =       "CSTR-92-27",
  year =         "1992"
}
@TechReport{'schreiner93:_paral,
  author =       "Wolfgang Schreiner",
  title =        "Parallel functional programming: an annotated bibliography",
  institution =  "Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria",
  year =         "1993"
}
@TechReport{'marti-oliet93:_rewrit_logic_logic_seman_framew,
  author =       "Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
  title =        "Rewriting Logic as a Logical and Semantic Framework",
  institution =  "SRI International, Computer Science Laboratory",
  number =       "SRI-CSL-93-05",
  year =         "1993",
  month =        "August",
  note =         "To appear in D. Gabbay, ed., {\em Handbook of Philosophical Logic\/}, Kluwer Academic Publishers"
}
@InCollection{'goguen87:_unify_funct_objec_orien_relat,
  title =        "Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics",
  author =       "Joseph Goguen and Jos\'{e} Meseguer",
  booktitle =    "Research Directions in Object-Oriented Programming",
  editor =       "Bruce Shriver and Peter Wegner",
  year =         "1987",
  pages =        "417-477",
  publisher =    "MIT Press"
}
@InCollection{'meseguer93:_logic_theor_concur_objec_maude_languag,
  author =       "Jos\'e Meseguer",
  title =        "A Logical Theory of Concurrent Objects and its realization in the {Maude} Language",
  booktitle =    "Research Directions in Concurrent Object-Oriented Programming",
  editor =       "Gul Agha and Peter Wegner and Akinori Yonezawa",
  year =         "1993",
  pages =        "314-390",
  publisher =    "MIT Press"
}
@InCollection{'goguen00:_introd_obj,
  author =       "Joseph Goguen and Timothy Winkler and Jos\'e Meseguer and Kokichi Futatsugi and Jean-Pierre Jouannaud",
  title =        "Introducing {OBJ}",
  booktitle =    "Software Engineering with OBJ: Algebraic Specification in Action",
  pages =        "3-167",
  publisher =    "Kluwer",
  editor =      "J.A. Goguen and G. Malcolm",
  year =         "2000"
}
@InCollection{'matsuoka93:_analy,
  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",
  editor =       "Gul Agha and Peter Wegner and Akinori Yonezawa",
  year =         "1993",
  pages =        "107-150",
  publisher =    "MIT Press"
}
@InProceedings{'oelveczky96:_specif,
  author =       "Peter Csaba {\"O}lveczky and Jos\'e Meseguer",
  title =        "Specifying real-time systems in rewriting logic",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'talcott96,
  author =       "C. L. Talcott",
  title =        "An actor rewrite theory",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@Unpublished{'talcott,
  author =       "C. L. Talcott",
  title =        "An actor rewrite theory",
  note =         "This volume"
}
@InProceedings{'diaconescu96:_hidden,
  author =       "R. Diaconescu",
  title =        "Hidden sorted rewriting logic",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'schorlemmer96:_bi,
  author =       "M. Schorlemmer",
  title =        "Bi-rewriting rewriting logic",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'castro96:_csp,
  author =       "C. Castro",
  title =        "An approach to solving binary {CSP} using computational systems",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'ciampolini96:_distr,
  author =       "A. Ciampolini and E. Lamma and P. Mello and C. Stefanelli",
  title =        "Distributed logic objects: a fragment of rewriting logic and its implementation",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'wirsing96,
  author =       "M. Wirsing and A. Knapp",
  title =        "A formal approach to object-oriented software engineering",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'eker96:_fast,
  author =       "Steven Eker",
  title =        "Fast matching in combination of regular equational theories",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'clavel96:_princ_maude,
  author =       "Manuel Clavel and Steven Eker and Patrick Lincoln and Jos\'e Meseguer",
  title =        "Principles of {Maude}",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'clavel96:_reflec,
  author =       "Manuel Clavel and Jos\'e Meseguer",
  title =        "Reflection and strategies in rewriting logic",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@Unpublished{'clavel00:_reflec,
  author =       "Manuel Clavel and Jos\'e Meseguer",
  title =        "Reflection in conditional rewriting logic",
  year =         "2000",
  note =         "Submitted for publication"
}
@InProceedings{'borovansky96:_elan,
  author =       "P. Borovansk\'y and C. Kirchner and H. Kirchner and P.-E. Moreau and M. Vittek",
  title =        "{ELAN}: {A} logical framework based on computational systems",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'borovansky96:_contr,
  author =       "P. Borovansk\'y and C. Kirchner and H. Kirchner",
  title =        "Controlling rewriting by rewriting",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'kirchner96:_comput_elan,
  author =       "H. Kirchner and P.-E. Moreau",
  title =        "Computational reflection and extension in {ELAN}",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'viry96:_input_output_elan,
  author =       "P. Viry",
  title =        "Input/Output for {ELAN}",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'landauer96:_discr,
  author =       "C. Landauer",
  title =        "Discrete event systems in rewriting logic",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'lechner96:_objec_maude,
  author =       "U. Lechner",
  title =        "Object-oriented specification of distributed systems in the $\mu$-calculus and {Maude}",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@Unpublished{'lechner:_modal_maude,
  author =       "U. Lechner and C. Lengauer",
  title =        "Modal $\mu$-{Maude}",
  note =         "In {\it Object Orientation with Parallelism and Persistence\/}, B. Freitag, C.B. Jones, C. Lengauer and H.-J. Schek, editors, Kluwer, 1996"
}
@InProceedings{'pita96:_maude,
  author =       "Isabel Pita and Narciso Mart\'{\i}-Oliet",
  title =        "A {Maude} specification of an object oriented database model for telecommunication networks",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@InProceedings{'marti-oliet96:_rewrit,
  author =       "Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
  title =        "Rewriting logic as a logical and semantic framework",
  booktitle =    "Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications",
  year =         "1996",
  editor =       "J. Meseguer",
  publisher =    "Elsevier",
  volume =       "4",
  series =       "Electronic Notes in Theoretical Computer Science",
  note =         "\url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}"
}
@Unpublished{'meseguer:_proc,
  author =       "Jos\'e Meseguer (ed.)",
  title =        "{\em Proc.\ First Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1996"
}
@Unpublished{'kirchner:_proc,
  author =       "C. Kirchner and H. Kirchner (eds.)",
  title =        "{\em Proc.\ 2nd Intl.\ Workshop on Rewriting Logic and its Applications\/}, {ENTCS}, {North Holland}, 1998"
}
@Unpublished{'lechner:_how,
  author =       "U. Lechner and C. Lengauer and F. Nickl and M. Wirsing",
  title =        "How to overcome the inheritance anomaly",
  note =         "in {\it Proc.ECOOP'96\/}, Springer LNCS, 1996"
}
@Unpublished{'leiserson:_fat_trees,
  author =       "Charles Leiserson",
  title =        "{FAT-TREES}: Universal Networks for Hardware-Efficient Supercomputing",
  note =         "MIT, Laboratory for Computer Science, November 1984"
}
@Unpublished{'talcott:_seman_compon_based_distr_open_heter_system,
  author =       "C. Talcott",
  title =        "Semantics of Component Based Distributed, Open, Heterogeneous Systems",
  note =         "Manuscript, Stanford University, February 1995"
}
@Unpublished{'talcott:_concur_rewrit_inter_seman_abstr_actor_system,
  author =       "C. Talcott",
  title =        "Concurrent Rewriting Interaction Semantics for Abstract Actor Systems",
  note =         "Manuscript, Stanford University, September 1995"
}
@Unpublished{'meseguer:_reason,
  author =       "Jos\'e Meseguer and Carolyn Talcott",
  title =        "Reasoning theories and rewriting logic",
  note =         "Manuscript, Stanford University, June 1996"
}
@Unpublished{'miller,
  author =       "Dale Miller",
  title =        "The $\pi$-calculus as a theory in linear logic: preliminary results",
  note =         "Computer Science Department, University of Pennsylvania, February 1992"
}
@Unpublished{'jacobs:_categ,
  author =       "Bart Jacobs",
  title =        "Categorical logic and type theory",
  note =         "To be published by North-Holland"
}
@Unpublished{'lincoln:_prelim_estim_use_splas_ii,
  author =       "Patrick Lincoln and Jos\'e Meseguer and Babak Taheri and Timothy Winkler",
  title =        "Preliminary Estimates for the Use of the Splash {II} System in the Emulation of the Rewrite Rule Machine",
  note =         "Manuscript, August 1992"
}
@Unpublished{'goguen:_softw_compon_searc,
  author =       "Joseph Goguen and Jos\'e Meseguer",
  title =        "Software Componet Search",
  note =         "September 1994. Submitted for publication"
}
@Unpublished{'talcott:_mathem_found_surviv_system,
  author =       "C. Talcott",
  title =        "Mathematical Foundations for Survivable Systems",
  note =         "Proceedings of the $14^{\rm th}$ {IMACS} Congress, Atlanta, Georgia, July 1994"
}
@Unpublished{'ricciulli:_distr,
  author =       "Livio Ricciulli and Patrick Lincoln and Jos\'e Meseguer",
  title =        "Distributed simulation of parallel executions",
  note =         "In {\it Proc. 29th Ann. Simulation Symp.}, New Orleans, Louisiana, April 8--11 1996, IEEE"
}
@Unpublished{'ricciulli:_decoup,
  author =       "Livio Ricciulli and Patrick Lincoln and Jos\'e Meseguer",
  title =        "Decoupled simulation of parallel computer systems",
  note =         "SRI International, Computer Science Laboratory, March 1996"
}
@Unpublished{'sassone:_induc_compl_monoid_categ_infin_net_comput,
  author =       "Vladimiro Sassone and Jos\'e Meseguer and Ugo Montanari",
  title =        "Inductive Completion of Monoidal Categories and Infinite Net Computations",
  note =         "Submitted for publication"
}
@Article{'bouhoula95:_implic_induc_condit_theor,
  author =       "Adel Bouhoula and Micha{\"e}l Rusinowitch",
  title =        "Implicit Induction in Conditional Theories",
  journal =      "J. of Automated Reasoning",
  volume =       "14",
  pages =        "189-235",
  year =         "1995"
}
@Article{'goguen96:_softw_compon_searc,
  author =       "Joseph Goguen and Doan Nguyen and Jos\'e Meseguer and Luqi and Du Zhang and Valdis Berzins",
  title =        "Software Componet Search",
  journal =      "J. of Systems Integration",
  volume =       "6",
  pages =        "93-134",
  year =         "1996"
}
@Article{'degano96:_axiom_algeb_net_comput_proces,
  author =       "P. Degano and J. Meseguer and U. Montanari",
  title =        "Axiomatizing the Algebra of Net Computations and Processes",
  year =         "1996",
  journal =      "Acta Informatica",
  volume =       "33",
  pages =        "641-667"
}
@Article{'beeri91:_theor_found,
  author =       "C. Beeri",
  title =        "Theoretical Foundations for {OODB}'s -- {A} Personal Perspective",
  journal =      "IEEE Data Engineering Bulletin",
  year =         "1991",
  volume =       "14",
  number =       "2",
  pages =        "8-12"
}
@Article{'cardelli95,
  author =       "Luca Cardelli",
  title =        "A language with distributed scope",
  journal =      "Computing Systems",
  year =         "1995",
  volume =       "8",
  number =       "1",
  pages =        "27-59"
}
@Article{'yonezawa93:_implem,
  author =       "Akinori Yonezawa and Satoshi Matsuoka and Masahiro Yagusi and Kenjiro Taura",
  title =        "Implementing concurrent object-oriented languages on multicomputers",
  journal =      "IEEE Parallel and Distributed Technology Journal",
  year =         "1993",
  volume =       "1",
  number =       "2",
  pages =        "49-61"
}
@InProceedings{'kifer89:_f_logic,
  author =       "M. Kifer and G. Lausen",
  title =        "{F}-Logic: {A} Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme",
  booktitle =    "Proc. ACM SIGMOD",
  year =         "1989",
  pages =        "134-146"
}
@InProceedings{'meseguer93:_logic_seman_objec_orien_datab,
  author =       "Jos\'e Meseguer and Xiaolei Qian",
  title =        "A Logical Semantics for Object-Oriented Databases",
  booktitle =    "Proc. International SIGMOD Conference on Management of Data",
  year =         "1993",
  publisher =    "ACM",
  pages =        "89-98"
}
@Article{'abiteboul91:_two_facet_objec_orien_data_model,
  author =       "S. Abiteboul and P. Kanellakis",
  title =        "The Two Facets of Object-Oriented Data Models",
  journal =      "IEEE Data Engineering Bulletin",
  year =         "1991",
  volume =       "14",
  number =       "2",
  pages =        "3-7"
}
@InProceedings{'abiteboul89:_objec_ident_query_languag_primit,
  author =       "S. Abiteboul and P. Kanellakis",
  title =        "Object Identity as a Query Language Primitive",
  booktitle =    "Proc. ACM SIGMOD",
  year =         "1989",
  pages =        "159-173"
}
@InProceedings{'abiteboul91:_objec_views,
  author =       "S. Abiteboul and A. Bonner",
  title =        "Objects and Views",
  booktitle =    "Proc. ACM SIGMOD",
  year =         "1991",
  pages =        "238-247"
}
@InProceedings{'abiteboul90:_method_schem,
  author =       "S. Abiteboul and P. Kanellakis and E. Waller",
  title =        "Method Schemas",
  booktitle =    "Proc. 9th PODS",
  year =         "1990",
  publisher =    "ACM",
  pages =        "16-27"
}
@InProceedings{'bertino92:_view_mechan_objec_orien_datab,
  author =       "E. Bertino",
  title =        "A View Mechanism for Object-Oriented Databases",
  booktitle =    "Proc. EDBT",
  year =         "1992",
  pages =        "136-151",
  publisher =    "Springer LNCS 580"
}
@InProceedings{'chen89:_hilog_platf_datab_languag_why,
  author =       "W. Chen and M. Kifer and D. S. Warren",
  title =        "HiLog as a Platform for Database Languages (or Why Predicate Calculus is not Enough)",
  booktitle =    "Proc. 2nd Int'l Workshop on Database Programming Languages",
  year =         "1989",
  pages =        "315-329"
}
@InProceedings{'futatsugi90:_trend_formal_specif_method_algeb_specif_techn,
  author =       "Kokichi Futatsugi",
  title =        "Trends in Formal Specification Methods based on Algebraic Specification Techniques -- from Abstract Data Types to Software Processes: {A} Personal Perspective --",
  booktitle =    "Proceedings of the International Conference of Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90)",
  publisher =    "IPSJ",
  year =         "1990",
  month =        "October",
  pages =        "59-66"
}
@Book{'iso89:_is880,
  author =       "ISO",
  title =        "{IS8807} : Information Processing Systems - Open System Interconnection - {LOTOS} - {A} formal description technique based on the temporal ordering of observational behavior",
  year =         "1989",
  month =        "February",
  publisher =    "ISO"
}
@Book{'cafeobj-project98:_proceed_cafeob_numaz_japan,
  author =       "CafeOBJ-Project",
  title =        "Proceedings of the {CafeOBJ} Symposium'98, Numazu, Japan",
  year =         "1998",
  month =        "April"
}
@Book{'itu-t95:_recom_x,
  author =       "ITU-T",
  title =        "Recommendation {X}.903 | {ISO}/{IEC} International Standard 10746--3: ``{ODP} Reference Model: Prescriptive Model''",
  year =         "1995",
  publisher =    "ISO"
}
@InProceedings{'ohmaki90:_basic_lotos_simul_obj,
  author =       "K. Ohmaki and K. Futatsugi and K. Takahashi",
  title =        "A Basic {LOTOS} Simulator in {OBJ}",
  booktitle =    "Proceedings of the International Conference of Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90)",
  publisher =    "IPSJ",
  year =         "1990",
  month =        "October",
  pages =        "497-504"
}
@Unpublished{'peters92,
  author =       "Stanley Peters",
  title =        "An architecture and a language for software agents communicating to solve problems cooperatively",
  year =         "1992",
  note =         "In preparation"
}
@Unpublished{'phoa92:_using,
  author =       "Wesley Phoa",
  title =        "Using fibrations to understand subtypes",
  year =         "1992",
  note =         "To appear in M. Fourman, P. Johnstone, and A. Pitts (eds.) {\it Proc. Symp. on Applications of Categories in Computer Science, Durham, 1991}, Cambridge University Press"
}
@InCollection{'cockett92:_weakl,
  author =       "J. R. B. Cockett and R. A. G. Seely",
  title =        "Weakly distributive categories",
  year =         "1992",
  editor =       "M. Fourman and P. Johnstone and A. Pitts",
  booktitle =    "Proc. Symp. on Applications of Categories in Computer Science, Durham, 1991",
  publisher =    "Cambridge University Press",
  pages =        "45-65"
}
@Unpublished{'curien91:_coher_subsum,
  author =       "Pierre-Louis Curien and Giorgio Ghelli",
  title =        "Coherence and Subsumption",
  year =         "1991",
  note =         "To appear in {\it Mathematical Structures in Computer Science}"
}
@Unpublished{'astesiano92:_algeb_specif_concur,
  author =       "Egidio Astesiano and Gianna Reggio",
  title =        "Algebraic Specification of Concurrency",
  year =         "1992",
  note =         "To appear in {\it Proceedings of the ADT'91 Workshop}, Springer LNCS"
}
@Unpublished{'ginzburg92:_embed,
  author =       "Jonathan Ginzburg",
  title =        "Embedding questions: {Facts} and questions",
  year =         "1992",
  note =         "In preparation"
}
@TechReport{'burstall92:_hidin_behav,
  author =       "R. Burstall and R. Diaconescu",
  title =        "Hiding and Behaviour: An Institutional Approach",
  institution =  "Laboratory for Foundations of Computer Science, University of Edinburgh",
  year =         "1992",
  number =       "ECS-LFCS-92-253",
  month =        "December"
}
@TechReport{'wirsing95:_concur_spect,
  author =       "M. Wirsing and F. Nickl and U. Lechner",
  title =        "Concurrent object-oriented design specification in {SPECTRUM}",
  institution =  "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen",
  year =         "1995"
}
@TechReport{'kosiuczenko95:_timed,
  author =       "P. Kosiuczenko and M. Wirsing",
  title =        "Timed rewriting logic with application to object-oriented specification",
  institution =  "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen",
  year =         "1995"
}
@Unpublished{'lilius92:_sheaf_petri,
  author =       "Johan Lilius",
  title =        "Sheaf semantics for {P}etri nets",
  year =         "1992",
  note =         "To appear as Technical report, Helsinki University of Technology"
}
@Unpublished{'tracz93:_formal_lilean,
  author =       "William Tracz",
  title =        "Formal specification of parameterized programs in {LILEANNA}",
  year =         "1993",
  note =         "Manuscript, Version 7.0"
}
@Unpublished{'nygaard86:_basic,
  author =       "Kristen Nygaard",
  title =        "Basic concepts in object-oriented programming",
  year =         "1986",
  note =         "Lecture and paper delivered at the Object-Oriented Programming Workshop held at Yorktwon Heights, New Yor, June 9-13, 1986; abstract in {\it Sigplan Notices}, 21, No. 10, page 187, October 1986"
}
@Unpublished{'wallen92,
  author =       "Lincoln Wallen",
  title =        "A constructive interpretation of proof search",
  year =         "1992",
  note =         "To appear"
}
@Unpublished{'yan92:_provin,
  author =       "Han Yan and Joseph Goguen and Tom Kemp",
  title =        "Proving properties of partial functions with sort constraints",
  year =         "1992",
  note =         "To appear"
}
@Unpublished{'goguen92:_algeb,
  author =       "Joseph Goguen",
  title =        "Algebraic semantics for the object paradigm",
  year =         "1992",
  note =         "To appear"
}
@Unpublished{'diaconescu92:_logic,
  author =       "R\u{a}zvan Diaconescu and Joseph Goguen and Petros Stefaneas",
  title =        "Logical support for modularisation",
  year =         "1992",
  note =         "To appear, {\em Proceedings\/} of Workshop on Logical Frameworks (Edinburgh, Scotland, May 1991)"
}
@Article{'hardy86:_lattic_gas_autom_navier_stokes_equat,
  author =       "J. Hardy and B. Hasslacher and Y. Pomeau",
  title =        "Lattice Gas Automata for the {Navier-Stokes} Equation",
  journal =      "Physical Review Letters",
  volume =       "56",
  year =         "1986",
  pages =        "1505"
}
@Book{'91:_hot_chips_iii,
  title =        "{HOT} Chips {III}",
  key =          "HOT Chips",
  note =         "Record of Symposium held at Stanford University August 26--27, 1991",
  year =         "1991",
  publisher =    "IEEE"
}
@Article{'schmidt91:_dataw,
  author =       "Ulrich Schmidt and Knut Caesar",
  title =        "Datawave: {A} Single-Chip Multiprocessor for Video Applications",
  journal =      "IEEE Micro",
  publisher =    "{IEEE} Computer Society",
  volume =       "11",
  number =       "3",
  pages =        "22-25",
  month =        "June",
  year =         "1991"
}
@Book{'hayes85,
  author =       "Patrick Hayes",
  title =        "The second naive physics manifesto",
  booktitle =    "Readings in Knowledge Representation",
  editor =      "Ronald Brachman and Hector Levesque",
  pages =        "467-485",
  year =         "1985",
  publisher =    "Morgan Kaufmann"
}
@Book{'lynch96:_distr_algor,
  author =       "Nancy Lynch",
  title =        "Distributed Algorithms",
  year =         "1996",
  publisher =    "Morgan Kaufmann"
}
@InCollection{'borkar88,
  author =       "S. Borkar and R. Cohn and G. Cox and H. T. Kung and M. Lam and B. Moore and C. Peterson and J. Pieper and L. Rankin and P. S. Tseng and J. Sutton and J. Urbanski and J. Webb",
  title =        "{iWARP}: an integrated solution to high-speed parallel computing",
  booktitle =    "Proceedings of Supercomputing '88",
  publisher =    "IEEE Press",
  pages =        "330-339",
  year =         "1988"
}
@InCollection{'aida92:_simul_perfor_estim_rewrit_rule_machin,
  author =       "H. Aida and J. Goguen and S. Leinwand and P. Lincoln and J. Meseguer and B. Taheri and T. Winkler",
  title =        "Simulation and Performance Estimation for the Rewrite Rule Machine",
  booktitle =    "Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation",
  pages =        "336-344",
  year =         "1992",
  publisher =    "IEEE"
}
@InCollection{'bracha92:_modul,
  author =       "G. Bracha and G. Lindstrom",
  title =        "Modularity meets inheritance",
  booktitle =    "Proceedings of the International Conference on Computer Languages",
  pages =        "282-290",
  year =         "1992",
  publisher =    "IEEE"
}
@InCollection{'decouchant91,
  author =       "D. Decouchant and P. Le Dot and M. Riveill and C. Roisin and X. Rousett de Pina",
  title =        "A synchronization mechanism for an object-oriented distributed system",
  booktitle =    "Proceedings of the Eleventh International Conference on Distributed Computing Systems",
  pages =        "152-159",
  year =         "1991",
  publisher =    "IEEE"
}
@InCollection{'goguen82:_secur,
  author =       "Joseph Goguen and Jos\'e Meseguer",
  title =        "Security policies and security models",
  booktitle =    "Proceedings of the 1982 Symposium on Security and Privacy",
  pages =        "11-20",
  year =         "1982",
  publisher =    "IEEE"
}
@InCollection{'goguen84:_unwin,
  author =       "Joseph Goguen and Jos\'e Meseguer",
  title =        "Unwinding and inference control",
  booktitle =    "Proceedings of the 1984 Symposium on Security and Privacy",
  pages =        "75-86",
  year =         "1984",
  publisher =    "IEEE"
}
@Article{'caromel90:_concur,
  author =       "Denis Caromel",
  title =        "Concurrency and reusability: from sequential to parallel",
  journal =      "Journal of Object-Oriented Programming",
  year =         "1990",
  month =        "September/October",
  pages =        "34-42"
}
@Article{'weems91:_darpa_image_under_bench_paral_comput,
  author =       "C. Weems and E. Riseman and A. Hamson",
  title =        "The {DARPA} Image Understanding Benchmark for Parallel Computers",
  journal =      "Journal of Parallel and Distributed Computing",
  year =         "1991",
  volume =       "11",
  number =       "1",
  pages =        "1-24"
}
@Article{'davis83:_negot,
  author =       "R. Davis and R. G. Smith",
  title =        "Negotiation as a metaphor for distributed problem solving",
  journal =      "Artificial Intelligence",
  year =         "1983",
  volume =       "20",
  number =       "1",
  pages =        "63-109"
}
@Article{'wand88,
  author =       "M. Wand and D. P. Friedman",
  title =        "The mystery of the tower revealed: a non-reflective description of the reflective tower",
  journal =      "Lisp and Symbolic Computation",
  year =         "1988",
  volume =       "1",
  number =       "1",
  pages =        "11-38"
}
@Article{'walther85,
  author =       "Christoph Walther",
  title =        "A mechanical solution to {Schubert's} steamroller by many-sorted resolution",
  journal =      "Artificial Intelligence",
  year =         "1985",
  volume =       "26",
  number =       "2",
  pages =        "217-224"
}
@Article{'hayes89:_hyper,
  author =       "John Hayes and Trevor Mudge",
  title =        "Hypercube supercomputers",
  journal =      "Proceedings of the IEEE",
  year =         "1989",
  volume =       "77",
  number =       "12",
  pages =        "1829-1841"
}
@Article{'nilsson91:_logic,
  author =       "Nils Nilsson",
  title =        "Logic and artificial intelligence",
  journal =      "Artificial Intelligence",
  year =         "1991",
  volume =       "47",
  pages =        "31-56"
}
@Article{'meseguer90:_petri_nets_are_monoid,
  author =       "Jos\'{e} Meseguer and Ugo Montanari",
  title =        "Petri Nets Are Monoids",
  journal =      "Information and Computation",
  year =         "1990",
  volume =       "88",
  pages =        "105-155"
}
@Article{'asperti92:_categ,
  author =       "Andrea Asperti and Simone Martini",
  title =        "Categorical models of polymorphism",
  journal =      "Information and Computation",
  year =         "1992",
  volume =       "99",
  pages =        "1-79"
}
@Article{'macqueen85:_modul_stand_ml,
  author =       "David Mac{Queen}",
  title =        "Modules for Standard {ML}",
  journal =      "Polymorphism",
  year =         "1985",
  volume =       "2",
  number =       "2",
  month =        "October",
  note =         "Earlier version appeared in Proc. 1984 ACM Symp. on Lisp and Functional Programming"
}
@Article{'moss92:_final_algeb_cosem_algeb_degrees_unsol,
  author =       "L. Moss and J. Meseguer and J. A. Goguen",
  title =        "Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability",
  journal =      "Theoretical Computer Science",
  year =         "1992",
  volume =       "100",
  pages =        "267-302"
}
@Article{'shapiro83:_objec_prolog,
  author =       "Ehud Shapiro and Akikazu Takeuchi",
  title =        "Object oriented programming in concurrent {Prolog}",
  journal =      "New Generation Computing",
  year =         "1983",
  volume =       "1",
  pages =        "25-48"
}
@Unpublished{'nigam:_alloc_weapon_target,
  author =       "M. Nigam and S. Sahni and D. Shetti and J. R. Slagle",
  title =        "Allocation of Weapons to Targets",
  note =         "Computer Science Department, University of Minnesota"
}
@Unpublished{'goguen:_hyper,
  author =       "Joseph Goguen",
  title =        "Hyperprogramming: a formal approach to software environments",
  note =         "In Proc. 1990 Symp. on Formal Methods in Software Development, Tokyo, Japan"
}
@Unpublished{'bedard90:_privat,
  author =       "Fernand Bedard",
  title =        "Private communication",
  year =         "1990",
  month =        "December"
}
@Unpublished{'abramsky:_comput_inter_linear_logic,
  author =       "Sansom Abramsky",
  title =        "Computational Interpretations of Linear Logic",
  note =         "Imperial College, October 1990"
}
@Unpublished{'manna:_tempor_logic_react_system,
  author =       "Zohar Manna and Amir Pnueli",
  title =        "The {Temporal} {Logic} of {Reactive} {Systems}",
  note =         "To be published by Springer-Verlag"
}
@Unpublished{'astesiano:_obser,
  author =       "Egidio Astesiano and Alessandro Giovini and Gianna Reggio",
  title =        "Observational structures and their logics",
  note =         "To appear in {\it Theoretical Computer Science}"
}
@Article{'bloom76:_variet_order_algeb,
  author =       "Steven Bloom",
  title =        "Varieties of Ordered Algebras",
  journal =      "Journal of Computer and System Sciences",
  volume =       "13",
  pages =        "200-212",
  year =         "1976"
}
@Article{'goguen83:_correc,
  author =       "Joseph Goguen and Jos\'{e} Meseguer",
  title =        "Correctness of recursive parallel nondeterministic flow programs",
  journal =      "Journal of Computer and System Sciences",
  volume =       "27",
  pages =        "268-290",
  year =         "1983"
}
@Article{'wegner90:_concep_parad_objec_orien_progr,
  author =       "Peter Wegner",
  title =        "Concepts and Paradigms of Object-Oriented Programming",
  journal =      "OOPS Messenger",
  volume =       "1",
  pages =        "7-87",
  year =         "1990"
}
@Article{'courcelle79:_infin,
  author =       "Bruno Courcelle",
  title =        "Infinite trees in normal form and recursive equations having a unique solution",
  journal =      "Mathematical Systems Theory",
  volume =       "13",
  pages =        "131-180",
  year =         "1979"
}
@Article{'meseguer80:_variet_chain_compl_algeb,
  title =        "Varieties of Chain-Complete Algebras",
  author =       "Jos\'e Meseguer",
  year =         "1980",
  journal =      "Journal of Pure and Applied Algebra",
  volume =       "19",
  pages =        "347-383"
}
@Article{'hesselink88,
  title =        "A mathematical approach to nondeterminism in data types",
  author =       "W. H. Hesselink",
  year =         "1988",
  journal =      "ACM Trans. Prog. Lang. and Sys.",
  volume =       "10",
  pages =        "87-117"
}
@Article{'allen97,
  title =        "A formal basis for architectural connection",
  author =       "R. Allen and D. Garlan",
  year =         "1997",
  month =        "July",
  journal =      "ACM Trans. Soft. Eng. and Meth."
}
@InCollection{'meseguer81:_birkh_theor_algeb_class_inter_progr_schem,
  title =        "A {Birkhoff}-like Theorem for Algebraic Classes of Interpretations of Program Schemes",
  author =       "Jos\'e Meseguer",
  year =         "1981",
  booktitle =    "Formalization of Programming Concepts",
  publisher =    "Springer-Verlag",
  pages =        "152-168",
  editor =       "J. Diaz and I. Ramos",
  note =         "LNCS, Volume 107"
}
@InCollection{'meseguer92:_paral_progr_maude,
  title =        "Parallel Programming in {Maude}",
  author =       "Jos\'{e} Meseguer and Timothy Winkler",
  year =         "1992",
  booktitle =    "Research Directions in High-level Parallel Programming Languages",
  publisher =    "Springer LNCS 574",
  pages =        "253-293",
  editor =       "J.-P. Ban\^{a}tre and D. Le M\`{e}tayer",
  note =         "Also Technical Report SRI-CSL-91-08, SRI International, Computer Science Laboratory, November 1991"
}
@InCollection{'miller90,
  title =        "A logic programming language with lambda-abstraction, function variables, and simple unification",
  author =       "Dale Miller",
  year =         "1990",
  booktitle =    "Extensions of Logic Programming",
  publisher =    "Springer-Verlag",
  pages =        "253-281",
  editor =       "P. Schroeder-Heister",
  note =         "LNCS, Volume 475"
}
@InCollection{'benthem:_tempor_logic,
  title =        "Temporal Logic",
  author =       "Johan van Benthem",
  booktitle =    "Handbook of Logic in Artificial Intelligence and Logic Programming",
  publisher =    "Oxford University Press",
  editor =       "D. Gabbay and C. Hogger and J. Robinson",
  note =         "To appear"
}
@InCollection{'stirling:_modal_tempor_logic,
  title =        "Modal and Temporal Logics",
  author =       "Colin Stirling",
  booktitle =    "Handbook of Logic in Computer Science",
  publisher =    "Oxford University Press",
  editor =       "S. Abramsky and D. Gabbay and T. Maibaum",
  note =         "To appear"
}
@InCollection{'seitz90:_concur_archit,
  title =        "Concurrent Architectures",
  author =       "Charles L. Seitz",
  year =         "1990",
  booktitle =    "{VLSI} and Parallel Computation",
  publisher =    "Morgan Kaufmann",
  pages =        "1-84",
  editor =       "R. Suaya and G. Birtwistle"
}
@InCollection{'dally90:_networ,
  title =        "Network and processor architecture for message-driven computers",
  author =       "William Dally",
  year =         "1990",
  booktitle =    "{VLSI} and Parallel Computation",
  publisher =    "Morgan Kaufmann",
  pages =        "140-222",
  editor =       "R. Suaya and G. Birtwistle"
}
@InCollection{'goedel65,
  title =        "On undecidable propositions of formal mathematical systems",
  author =       "K. {G\"odel}",
  year =         "1965",
  booktitle =    "The Undecidable",
  publisher =    "Raven Press",
  pages =        "39-74",
  editor =       "Martin Davis"
}
@Book{'guessarian81:_algeb_seman,
  title =        "Algebraic Semantics",
  author =       "Irene Guessarian",
  year =         "1981",
  publisher =    "Springer-Verlag",
  note =         "LNCS, Volume 99"
}
@Book{'trew91:_past_presen_paral,
  title =        "Past, Present, Parallel: {A} survey of Available Computing Systems",
  author =       "Arthur Trew and Greg Wilson",
  year =         "1991",
  publisher =    "Springer-Verlag"
}
@Book{'ehrig85:_fundam_algeb_specif,
  title =        "Fundamentals of Algebraic Specification 1",
  author =       "Hartmut Ehrig and Bernd Mahr",
  year =         "1985",
  publisher =    "Springer-Verlag"
}
@Book{'brachman85:_readin_knowl_repres,
  title =        "Readings in Knowledge Representation",
  author =       "Ronald Brachman and Hector Levesque",
  year =         "1985",
  publisher =    "Morgan Kaufmann"
}
@Book{'huet86:_formal_struc_comput_deduc,
  title =        "Formal Structures for Computation and Deduction",
  author =       "G. Huet",
  year =         "1986",
  publisher =    "INRIA"
}
@Book{'klop80:_combin,
  title =        "Combinatory reduction systems",
  author =       "J. W. Klop",
  year =         "1980",
  publisher =    "Mathematisch Centrum, Amsterdam"
}
@InCollection{'courcelle78:_algeb_seman_recur_progr_schem,
  title =        "The Algebraic Semantics of Recursive Program Schemes",
  author =       "Bruno Courcelle and Maurice Nivat",
  year =         "1978",
  pages =        "16-30",
  booktitle =    "Proceedings, Mathematical Foundations of Computer Science",
  note =         "LNCS, Volume 64",
  publisher =    "Springer-Verlag"
}
@InCollection{'meseguer77,
  title =        "On order-complete universal algebra and enriched functorial semantics",
  author =       "Jos\'e Meseguer",
  year =         "1977",
  booktitle =    "Proceedings, Foundations of Computation Theory",
  editor =       "Marek Karpi\'nski",
  note =         "LNCS, Volume 56",
  pages =        "294-301",
  publisher =    "Springer-Verlag"
}
@TechReport{'jagannathan90:_glu_progr_languag,
  author =       "R. Jagannathan and A. A. Faustini",
  title =        "The {GLU} Programming Language",
  year =         "1990",
  month =        "November",
  number =       "SRI-CSL-90-11",
  institution =  "SRI International, Computer Science Laboratory"
}
@TechReport{'smolka93:_objec_oz,
  author =       "Gert Smolka and Martin Henz and J{\"{o}}rg W{\"{u}}rtz",
  title =        "Object-oriented concurrent constraint programming in {Oz}",
  year =         "1993",
  month =        "April",
  number =       "RR-93-16",
  institution =  "DFKI, Saarbr{\"{u}}cken"
}
@TechReport{'bruce92,
  author =       "Kim Bruce",
  title =        "A paradigmatic object-oriented programming language: design, static typing and semantics",
  year =         "1992",
  month =        "January",
  number =       "CS-92-01",
  institution =  "Williams College"
}
@TechReport{'goguen78:_order_sorted_algeb,
  author =       "Joseph Goguen",
  title =        "Order Sorted Algebra",
  year =         "1978",
  number =       "Semantics and Theory of Computation Report 14",
  institution =  "UCLA"
}
@TechReport{'smith92:_const_specif_morph,
  author =       "Douglas R. Smith",
  title =        "Constructing Specification Morphisms",
  year =         "1992",
  month =        "January",
  number =       "KES.U.92.1",
  institution =  "Kestrel Institute"
}
@TechReport{'hudak90:_repor_progr_languag_haskel,
  author =       "Paul Hudak",
  title =        "Report on the Programming Language {Haskell}",
  year =         "1990",
  month =        "April",
  institution =  "Computing Science Department, University of Glasgow"
}
@TechReport{'talcott91,
  author =       "C. Talcott",
  title =        "A theory of binding structures and applications to rewriting",
  year =         "1991",
  month =        "October",
  institution =  "Computer Science Department, Stanford University"
}
@TechReport{'wiederhold90:_towar_megap,
  author =       "G. Wiederhold and P. Wegner and S. Ceri",
  title =        "Towards {Megaprogramming}",
  year =         "1990",
  month =        "October",
  number =       "STAN-CS-90-1341",
  institution =  "Computer Science Department, Stanford University"
}
@TechReport{'giunchiglia94:_reason,
  author =       "F. Giunchiglia and C. L. Pecchiari and C. Talcott",
  title =        "Reasonig theories: towards an architecture for open mechanized reasoning systems",
  year =         "1994",
  month =        "November",
  number =       "9409-15",
  institution =  "IRST, University of Trento",
  note =         "Also in {\em Workshop on Frontiers of Combining Systems, FROCOS'96, 1996}"
}
@TechReport{'meseguer90:_rewrit_unified_model_concur,
  author =       "Jos\'{e} Meseguer",
  title =        "Rewriting as a Unified Model of Concurrency",
  year =         "1990",
  month =        "February",
  number =       "SRI-CSL-90-02",
  institution =  "SRI International, Computer Science Laboratory",
  note =         "Revised June 1990"
}
@Unpublished{'corporation90:_connec_machin_techn_summar,
  author =       "Thinking Machines Corporation",
  title =        "Connection Machine Technical Summary",
  year =         "1990"
}
@TechReport{'watari89:_exten,
  author =       "Shigeru Watari and Shinji Kono and Ei-ichi Osawa and Rik Smoody and Mario Tokoro",
  title =        "Extending object-oriented systems to support dialectic worldviews",
  year =         "1989",
  institution =  "Sony Computer Science Laboratory, Tokyo",
  note =         "Presented at the Advanced Database System Symposium, Kyoto, December 1989"
}
@TechReport{'matsuoka91:_inher,
  author =       "S. Matsuoka and K. Wakita and A. Yonezawa",
  title =        "Inheritance anomaly in object-oriented concurrent programming languages",
  year =         "1991",
  month =        "January",
  institution =  "University of Tokyo, Dept. of Information Science"
}
@Article{'meseguer96:_proces_place_trans_petri,
  author =       "Jos\'e Meseguer and Ugo Montanari and Vladimiro Sassone",
  title =        "Process versus unfolding semantics for {Place/Transition} {Petri} nets",
  journal =      "Theoretical Computer Science",
  volume =       "153",
  number =       "1--2",
  pages =        "171-210",
  year =         "1996"
}
@Article{'alur95,
  author =       "R. Alur and C. Courcoubetis and N. Halbwachs and T. A. Henzinger and P.-H. Ho and X. Nicollin and A. Olivero and J. Sifakis and S. Yovine",
  title =        "The algorithmic analysis of hybrid systems",
  journal =      "Theoretical Computer Science",
  volume =       "138",
  pages =        "3-34",
  year =         "1995"
}
@InProceedings{'berry90:_chemic_abstr_machin,
  title =        "The Chemical Abstract Machine",
  author =       "{G\'{e}rard Berry and G\'{e}rard Boudol}",
  booktitle =    "Proc. POPL'90",
  publisher =    "ACM",
  pages =        "81-94",
  year =         "1990"
}
@Article{'berry92:_chemic_abstr_machin,
  author =       "G\'{e}rard Berry and G\'{e}rard Boudol",
  title =        "The Chemical Abstract Machine",
  journal =      "Theoretical Computer Science",
  volume =       "96",
  number =       "1",
  pages =        "217-248",
  year =         "1992"
}
@Article{'meseguer92:_condit_rewrit_logic_unified_model_concur,
  author =       "Jos\'{e} Meseguer",
  title =        "Conditional Rewriting Logic as a Unified Model of Concurrency",
  journal =      "Theoretical Computer Science",
  volume =       "96",
  number =       "1",
  pages =        "73-155",
  year =         "1992"
}
@Article{'cerioli97:_may_i,
  author =       "Maura Cerioli and Jos\'e Meseguer",
  title =        "May {I} borrow your logic? ({Transporting} logical structure along maps)",
  journal =      "Theoretical Computer Science",
  volume =       "173",
  pages =        "311-347",
  year =         "1997"
}
@Article{'best89:_sequen_petri,
  author =       "E. Best and R. Devillers",
  title =        "Sequential and concurrent behavior in {Petri} net theory",
  journal =      "Theoretical Computer Science",
  volume =       "55",
  pages =        "87-136",
  year =         "1989"
}
@Article{'huet73,
  author =       "Gerard Huet",
  title =        "A unification algorithm for typed lambda calculus",
  journal =      "Theoretical Computer Science",
  volume =       "1",
  number =       "1",
  pages =        "27-57",
  year =         "1973"
}
@TechReport{'badouel90:_condit,
  author =       "Eric Badouel",
  title =        "Conditional rewrite rules as an algebraic semantics of processes",
  year =         "1990",
  month =        "May",
  number =       "1226",
  institution =  "INRIA"
}
@TechReport{'dowek91:_coq,
  author =       "Gilles Dowek and Amy Felty and Hugo Herberlin and G\'erard Huet and Christine Paulin-Mohring and Benjamin Werner",
  title =        "The {Coq} proof assistant user's guide",
  year =         "1991",
  month =        "December",
  number =       "Rapport Technique 134",
  institution =  "INRIA"
}
@TechReport{'degano90:_axiom_algeb_net_comput_proces,
  author =       "P. Degano and J. Meseguer and U. Montanari",
  title =        "Axiomatizing the Algebra of Net Computations and Processes",
  year =         "1990",
  month =        "November",
  number =       "SRI-CSL-90-12",
  institution =  "SRI International, Computer Science Laboratory",
  note =         "To appear in {\em Acta Informatica}"
}
@TechReport{'seitz88:_c_abbrev_guide_multic_progr,
  author =       "C. L. Seitz and J. Seizovic and W.-K. Su",
  title =        "The {C} Programmer's Abbreviated Guide to Multicomputer Programming",
  year =         "1988",
  month =        "January",
  number =       "CS-TR-88-1",
  institution =  "California Institute of Technology",
  note =         "Revised April 1989"
}
@Unpublished{'meseguer:_condit,
  author =       "Jos\'{e} Meseguer",
  title =        "Conditional rewriting logic: deduction, models and concurrency",
  note =         "In S. Kaplan and M. Okada (eds.) {\it Proc. CTRS'90}, Montreal, Canada, 1990, Springer LNCS 516, pp. 64-91, 1991"
}
@Unpublished{'lincoln:_maude,
  author =       "Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'{e} Meseguer",
  title =        "Maude: Making parallel programming machine-independent",
  note =         "Submitted for publication"
}
@Unpublished{'meseguer:_condit,
  author =       "Jos\'{e} Meseguer",
  title =        "Conditional rewriting logic: deduction, models and concurrency",
  note =         "This volume"
}
@Unpublished{'sewell90:_cell,
  author =       "P. M. Sewell",
  title =        "Cell machine correctness via parallel jungle rewriting",
  year =         "1990",
  note =         "MSc Thesis, Programming Research Group, University of Oxford"
}
@TechReport{'ohmaki90:_basic_lotos_obj,
  author =       "K. Ohmaki and K. Futatsugi and K. Takahashi",
  title =        "A Basic {LOTOS} simulator in {OBJ}",
  year =         "1990",
  month =        "March",
  number =       "TR-90-11",
  institution =  "ETL"
}
@Unpublished{'hussmann:_nondet,
  author =       "H. Hussmann",
  title =        "Nondeterministic algebraic specifications and nonconfluent term rewriting",
  note =         "Computer Science Dept., TU Munich"
}
@Unpublished{'devlin:_logic_infor,
  author =       "Keith Devlin",
  title =        "Logic and Information",
  note =         "Book to appear"
}
@TechReport{'engelfriet90:_paral_objec_based_system_petri,
  author =       "J. Engelfriet and G. Leih and G. Rozenberg",
  title =        "Parallel Object-Based Systems and {Petri} Nets, {I} and {II}",
  year =         "1990",
  month =        "February",
  number =       "90-04,90-05",
  institution =  "Dept. of Computer Science, University of Leiden"
}
@InProceedings{'engelfriet91:_net_pots_pops,
  author =       "J. Engelfriet and G. Leih and G. Rozenberg",
  title =        "Net-based description of parallel object-based systems, or {POT}s and {POP}s",
  booktitle =    "Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands, May/June 1990",
  editor =       "J. W. de Bakker and W. P. de Roever and G. Rozenberg",
  year =         "1991",
  publisher =    "Springer LNCS 489",
  pages =        "229-273"
}
@InProceedings{'janson91:_progr_andor,
  author =       "Sverker Janson and Seif Haridi",
  title =        "Programming paradigms of the {Andorra} kernel language",
  year =         "1991",
  booktitle =    "Proc. 1991 Intl. Symp. on Logic Programming",
  editor =       "V. Saraswat and K. Ueda",
  publisher =    "MIT Press",
  pages =        "167-186"
}
@InProceedings{'meseguer92:_multip_logic_progr,
  author =       "Jos\'e Meseguer",
  title =        "Multiparadigm Logic Programming",
  booktitle =    "Proc. 3rd Intl. Conf. on Algebraic and Logic Programming",
  editor =       "H. Kirchner and G. Levi",
  year =         "1992",
  publisher =    "Springer LNCS 632",
  pages =        "158-200"
}
@InProceedings{'meseguer92:_using_rewrit_logic_specif_progr,
  author =       "Jos\'e Meseguer and Kokichi Futatsugi and Timothy Winkler",
  title =        "Using Rewriting Logic to Specify, Program, Integrate, and Reuse Open Concurrent Systems of Cooperating Agents",
  year =         "1992",
  booktitle =    "Proceedings of the 1992 International Symposium on New Models for Software Architecture, Tokyo, Japan, November 1992",
  publisher =    "Research Institute of Software Engineering",
  pages =        "61-106"
}
@InProceedings{'frolund92:_inher_synch_const_concur_objec,
  author =       "Sven Frolund",
  title =        "Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages",
  booktitle =    "Proc. ECOOP'92",
  editor =       "O. Lehrmann Madsen",
  year =         "1992",
  publisher =    "Springer LNCS 615",
  pages =        "185-196"
}
@InProceedings{'meseguer93:_solvin_inher_anomal_concur_objec_orien_progr,
  author =       "Jos\'e Meseguer",
  title =        "Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming",
  booktitle =    "Proc. ECOOP'93",
  editor =       "Oscar M. Nierstrasz",
  year =         "1993",
  publisher =    "Springer LNCS 707",
  pages =        "220-246"
}
@InProceedings{'neusius91:_synch_action,
  author =       "Christian Neusius",
  title =        "Synchronizing Actions",
  booktitle =    "Proc. ECOOP'91",
  editor =       "Pierre America",
  year =         "1991",
  publisher =    "Springer LNCS 512",
  pages =        "118-132"
}
@InProceedings{'america87:_synch_action,
  author =       "Pierre America",
  title =        "Synchronizing Actions",
  booktitle =    "Proc. ECOOP'87",
  year =         "1987",
  publisher =    "Springer LNCS 276",
  pages =        "234-242"
}
@InProceedings{'kafura89:_inher,
  author =       "Dennis Kafura and Keung Lee",
  title =        "Inheritance in actor based concurrent object oriented languages",
  booktitle =    "Proc. ECOOP'89",
  year =         "1989",
  publisher =    "Cambridge University Press",
  pages =        "131-145"
}
@InProceedings{'maier86:_logic_objec,
  author =       "David Maier",
  title =        "A Logic for Objects",
  booktitle =    "Proc. Workshop on Foundations of Deductive Databases and Logic Programming, Washington, D.C.",
  year =         "1986",
  pages =        "6-26"
}
@InProceedings{'goguen85:_merged_views_closed_world_order_sorts,
  author =       "Joseph Goguen",
  title =        "Merged Views, Closed Worlds, and Ordered Sorts: Some Novel Database Features in {OBJ}",
  booktitle =    "Proc. 1982 Workshop on Database Interfaces",
  editor =       "Alex Borgida and Peter Buneman",
  year =         "1985",
  publisher =    "University of Pennsylvania, Computer Science Department",
  pages =        "38-47"
}
@InProceedings{'atkinson91:_bulk,
  author =       "M. Atkinson and P. Richard and P. Trinder",
  title =        "Bulk types for large scale programming",
  booktitle =    "Proc. Next Generation Information System Technology",
  year =         "1991",
  publisher =    "Springer LNCS 504",
  pages =        "228-250"
}
@InProceedings{'breazu-tannen91:_logic,
  author =       "V. Breazu-Tannen and R. Subrahmanyam",
  title =        "Logical and computational aspects of programming with sets/bags/lists",
  booktitle =    "Proc. ICALP'91",
  year =         "1991",
  publisher =    "Springer LNCS 510",
  pages =        "60-75"
}
@InProceedings{'degano92:_proved,
  author =       "P. Degano and C. Priami",
  title =        "Proved trees",
  booktitle =    "Proc. ICALP'92",
  year =         "1992",
  publisher =    "Springer LNCS 623",
  pages =        "629-640"
}
@InProceedings{'mason97,
  author =       "I. Mason and C. Talcott",
  title =        "A semantics preserving actor translation",
  booktitle =    "Proc. ICALP'97",
  year =         "1997",
  publisher =    "Springer LNCS 1256",
  pages =        "369-378"
}
@Unpublished{'mason00:_simpl_networ_protoc_simul_maude,
  author =       "I. Mason and C. Talcott",
  title =        "Simple Network Protocol Simulation within {Maude}",
  year =         "May 2000",
  note =         "Submitted for publication"
}
@InProceedings{'hintermeier94:_dynam,
  author =       "C. Hintermeier and C. Kirchner and H. Kirchner",
  title =        "Dynamically-typed computations for order-sorted equational presentations",
  booktitle =    "Proc. ICALP'94",
  year =         "1994",
  publisher =    "Springer LNCS 510",
  pages =        "60-75"
}
@InProceedings{'ehrich91,
  author =       "Hans-Dieter Ehrich and Joseph Goguen and Am\'{\i}lcar Sernadas",
  title =        "A categorical theory of objects a observed processes",
  booktitle =    "Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands, May/June 1990",
  editor =       "J. W. de Bakker and W. P. de Roever and G. Rozenberg",
  year =         "1991",
  publisher =    "Springer LNCS 489",
  pages =        "203-228"
}
@InProceedings{'fiadeiro88:_struc_theor_conseq,
  author =       "J. Fiadeiro and A. Sernadas",
  title =        "Structuring Theories on Consequence",
  editor =       "D. Sannella and A. Tarlecki",
  booktitle =    "Recent Trends in Data Type Specification",
  year =         "1988",
  publisher =    "Springer LNCS 332",
  pages =        "44-72"
}
@InProceedings{'slagle82:_battl,
  author =       "J. R. Slagle and R. R. Cantone and E. J. Halpern",
  title =        "Battle, an expert decision aid for fire support command and control",
  booktitle =    "Proceedings 49th MORS",
  year =         "1982",
  pages =        "35-38"
}
@TechReport{'engelfriet90:_paral_objec_based_system_petri_nets,
  author =       "J. Engelfriet and G. Leih and G. Rozenberg",
  title =        "Parallel Object-Based Systems and {Petri} Nets. {Part} {I}: Basic Notions, Reference Passing and Handshaking",
  year =         "1990",
  month =        "February",
  number =       "90-04",
  institution =  "Dept. of Computer Science, University of Leiden"
}
@TechReport{'hintermeier94:_dynam,
  author =       "C. Hintermeier and C. Kirchner and H. Kirchner",
  title =        "Dynamically-typed computations for order-sorted equational presentations",
  year =         "1994",
  month =        "March",
  number =       "2208",
  institution =  "INRIA"
}
@TechReport{'engelfriet90:_paral_objec_based_system_petri_nets,
  author =       "J. Engelfriet and G. Leih and G. Rozenberg",
  title =        "Parallel Object-Based Systems and {Petri} Nets. {Part} {II}: Actor Systems, Dangling References and Semantics",
  year =         "1990",
  month =        "February",
  number =       "90-05",
  institution =  "Dept. of Computer Science, University of Leiden"
}
@TechReport{'mosses89:_unified_algeb_instit,
  author =       "Peter Mosses",
  title =        "Unified Algebras and Institutions",
  year =         "1989",
  institution =  "Computer Science Department, Aarhus University",
  number =       "DAIMI PB-274"
}
@TechReport{'mosses89:_unified_algeb_instit,
  author =       "Peter Mosses",
  title =        "Unified Algebras and Institutions",
  year =         "1989",
  institution =  "Computer Science Department, Aarhus University",
  number =       "DAIMI PB-274"
}
@TechReport{'goguen89:_rewrit_rule_machin,
  author =       "J. A. Goguen and S. Leinwand and J. Meseguer and T. Winkler",
  title =        "The Rewrite Rule Machine, 1988",
  year =         "1989",
  institution =  "Oxford University, Programming Research Group",
  number =       "PRG-76"
}
@InCollection{'goguen73:_categ_found_gener_system_theor,
  title =        "Categorical Foundations for General Systems Theory",
  author =       "Joseph Goguen",
  booktitle =    "Advances in Cybernetics and Systems Research",
  editor =       "F. Pichler and R. Trappl",
  year =         "1973",
  publisher =    "Transcripta Books",
  pages =        "121-130"
}
@Article{'huet80:_confl_reduc,
  title =        "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems",
  author =       "Gerard Huet",
  journal =      "Journal of the Association for Computing Machinery",
  volume =       "27",
  pages =        "797-821",
  year =         "1980",
  note =         "Preliminary version in {\it 18th Symposium on Mathematical Foundations of Computer Science}, 1977"
}
@Article{'shapiro89:_famil_concur_logic_progr_languag,
  title =        "The Family of Concurrent Logic Programming Languages",
  author =       "E. Shapiro",
  journal =      "ACM Computing Surveys",
  volume =       "21",
  pages =        "413-510",
  year =         "1989"
}
@Article{'bal89:_progr_languag_distr_comput_system,
  title =        "Programming Languages for Distributed Computing Systems",
  author =       "H. Bal and J. Steiner and A. Tanenbaum",
  journal =      "ACM Computing Surveys",
  volume =       "21",
  pages =        "261-322",
  year =         "1989"
}
@Article{'lambek70:_subeq,
  title =        "Subequalizers",
  author =       "J. Lambek",
  journal =      "Canadian Math. Bull.",
  volume =       "13",
  pages =        "337-349",
  year =         "1970"
}
@InCollection{'dershowitz90:_rewrit_system,
  title =        "Rewrite Systems",
  author =       "N. Dershowitz and J.-P. Jouannaud",
  booktitle =    "Handbook of Theoretical Computer Science, Vol. B",
  year =         "1990",
  editor =       "J. van Leeuwen",
  pages =        "243-320",
  publisher =    "North-Holland"
}
@InCollection{'courcelle90:_graph,
  title =        "Graph rewriting: an algebraic and logic approach",
  author =       "B. Courcelle",
  booktitle =    "Handbook of Theoretical Computer Science, Vol. B",
  year =         "1990",
  editor =       "J. van Leeuwen",
  pages =        "193-242",
  publisher =    "North-Holland"
}
@InCollection{'smorynski77,
  title =        "The incompleteness theorems",
  author =       "C. Smorynski",
  booktitle =    "Handbook of Mathematical Logic",
  year =         "1977",
  editor =       "J. Barwise",
  pages =        "821-865",
  publisher =    "North-Holland"
}
@InCollection{'goguen89:_obj_theor_prover_applic_hardw_verif,
  title =        "{OBJ} as a Theorem Prover with Application to Hardware Verification",
  author =       "Joseph Goguen",
  booktitle =    "Current Trends in Hardware Verification and Automated Theorem Proving",
  editor =       "P. S. Subramanyam and G. Birtwistle",
  year =         "1989",
  publisher =    "Springer-Verlag",
  pages =        "218-267"
}
@Article{'goguen75:_objec,
  title =        "Objects",
  author =       "Joseph Goguen",
  journal =      "International Journal of General Systems",
  volume =       "1",
  number =       "4",
  year =         "1975",
  pages =        "237-243"
}
@Article{'kleene36:_gener_recur_funct_natur_number,
  title =        "General Recursive Functions of Natural Numbers",
  author =       "Stephen C. Kleene",
  journal =      "Mathematische Annalen",
  volume =       "112",
  number =       "5",
  year =         "1936",
  pages =        "727-742"
}
@Article{'kleene36,
  title =        "$\lambda$-definability and recursiveness",
  author =       "Stephen C. Kleene",
  journal =      "Duke Math. J.",
  volume =       "2",
  year =         "1936",
  pages =        "340-353"
}
@InCollection{'goguen89:_princ_param_progr,
  title =        "Principles of Parameterized Programming",
  author =       "Joseph Goguen",
  booktitle =    "Software Reusability, Volume {I}: Concepts and Models",
  editor =       "Ted Biggerstaff and Alan Perlis",
  publisher =    "Addison-Wesley",
  year =         "1989",
  pages =        "159-225"
}
@Book{'goguen93:_applic_algeb_specif_using_obj,
  title =        "Applications of Algebraic Specification Using {OBJ}",
  editor =       "Joseph Goguen",
  publisher =    "Cambridge University Press",
  year =         "1993"
}
@Book{'ehrig91:_graph_gramm_applic_comput_scien,
  title =        "Graph Grammars and their Application to Computer Science",
  editor =       "H. Ehrig and H.-J. Kreowski and G. Rozenberg",
  publisher =    "Springer LNCS 532",
  year =         "1991"
}
@InProceedings{'raoult94:_set,
  author =       "J.-C. Raoult and F. Voisin",
  title =        "Set-theoretic graph rewriting",
  booktitle =    "Graph Transformations in Computer Science",
  editor =       "H.-J. Schneider and H. Ehrig",
  pages =        "312-325",
  publisher =    "Springer LNCS 776",
  year =         "1994"
}
@Book{'schneider94:_graph_trans_comput_scien,
  title =        "Graph Transformations in Computer Science",
  editor =       "H.-J. Schneider and H. Ehrig",
  publisher =    "Springer LNCS 776",
  year =         "1994"
}
@Book{'sleep93:_term_graph_rewrit,
  title =        "Term Graph Rewriting",
  editor =       "M. R. Sleep and M. J. Plasmeijer and M. C. J. D. van Eekelen",
  publisher =    "Wiley",
  year =         "1993"
}
@Book{'carpenter92:_logic_typed_featur_struc,
  title =        "The Logic of Typed Feature Structures",
  author =       "Bob Carpenter",
  publisher =    "Cambridge University Press",
  year =         "1992"
}
@Book{'yonezawa88:_objec_orien_concur_progr,
  editor =       "A. Yonezawa and M. Tokoro",
  title =        "Object-Oriented Concurrent Programming",
  publisher =    "MIT Press",
  year =         "1988"
}
@Book{'turchin89:_refal,
  author =       "Valentin F. Turchin",
  title =        "Refal-5: programming guide and reference manual",
  publisher =    "New England Publishing Co.",
  year =         "1989"
}
@Book{'smith92:_proc,
  editor =       "Brian Smith and Akinori Yonezawa",
  title =        "Proc. of the {IMSA}'92 International Workshop on Reflection and Meta-Level Architecture, Tokyo, November 1992",
  publisher =    "Research Institute of Software Engineering",
  year =         "1992"
}
@Book{'tokoro92:_objec_based_concur_comput,
  editor =       "M. Tokoro and O. Nierstrasz and P. Wegner",
  title =        "Object-Based Concurrent Computing",
  publisher =    "Springer LNCS 612",
  year =         "1992"
}
@Book{'bond88:_readin_distr_artif_intel,
  editor =       "A. Bond and L. Gasser",
  title =        "Readings in Distributed Artificial Intelligence",
  publisher =    "Morgan Kaufmann",
  year =         "1988"
}
@Book{'saake91:_infor_system,
  editor =       "G. Saake and A. Sernadas",
  title =        "Information Systems---Correctness and Reusability",
  publisher =    "Technische Universit{\"{a}}t Braunschweig, Information-Berichte 91-03",
  year =         "1991"
}
@Book{'junglclaus91:_objec,
  editor =       "R. Junglclaus and G. Saake and T. Hartmann and C. Sernadas",
  title =        "Object-oriented specification of information systems: the {TROLL} language",
  publisher =    "Technische Universit{\"{a}}t Braunschweig, Information-Berichte 91-04",
  year =         "1991"
}
@Book{'hillis85:_connec_machin,
  author =       "W. Hillis",
  title =        "The Connection Machine",
  publisher =    "MIT Press",
  year =         "1985"
}
@Book{'hill94:_goedel_progr_languag,
  author =       "P. M. Hill and J. W. Lloyd",
  title =        "The {G\"odel} Programming Language",
  publisher =    "MIT Press",
  year =         "1994"
}
@Book{'kiczales91:_art_metaob_protoc,
  author =       "Gregor Kiczales and Jim des Rivieres and Daniel G. Bobrow",
  title =        "The Art of the Metaobject Protocol",
  publisher =    "MIT Press",
  year =         "1991"
}
@Book{'madisetti90:_advan_paral_distr_simul,
  editor =       "V. Madisetti and D. Nicol and R. Fujimoto",
  title =        "Advances in Parallel and Distributed Simulation",
  publisher =    "Society for Computer Simulation",
  year =         "1990"
}
@Book{'ege90:_objec_simul,
  editor =       "R. K. Ege",
  title =        "Object-oriented Simulation",
  publisher =    "Society for Computer Simulation",
  year =         "1990"
}
@Book{'keller87:_proc,
  title =        "Proc. Workshop on graph reduction, Santa Fe, New Mexico",
  year =         "1987",
  editor =       "R. Keller and J. Fasel",
  publisher =    "Springer LNCS 279"
}
@Book{'jouannaud88:_proceed_confer_condit_term_rewrit,
  title =        "Proceedings, Conference on Conditional Term Rewriting, Orsay, France, July 8-10, 1987",
  editor =       "Jean-Pierre Jouannaud and Stephane Kaplan",
  publisher =    "Springer-Verlag, LNCS No. 308",
  year =         "1988"
}
@Book{'logic89,
  author =       "The Situation in Logic",
  title =        "The situation in logic",
  publisher =    "Center for the Study of Language and Information",
  note =