@proceedings{DBLP:conf/birthday/2014futatsugi,
  editor    = {Sh. Iida and J. Meseguer and K. Ogata},
  title     = {Specification, Algebra, and Software - Essays Dedicated
               to Kokichi Futatsugi},
  booktitle = {Specification, Algebra, and Software},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8373},
  year      = {2014},
  isbn      = {978-3-642-54623-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-54624-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{osa,
  author = 	 {Goguen, J.A. and Meseguer, J.},
  title = 	 {Order-Sorted Algebra 1:
   Equational Deduction for Multiple Inheritance, Polymorphism,
   Overloading and Partial Operations},
  institution =  {SRI Internationa},
  year = 	 1989,
  number = 	 {Technical Report SRI-CSL-89-10}}


@Article{osa-survey,
  author = 	 {Goguen, J. and Diaconescu, R.},
  title = 	 {An Oxford Survey of Order Sorted Algebra},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 1994,
  pages =        {363-392},
  volume = 	 4}


@Book{e-m85,
  author = 	 {Ehrig, H. and Mahr, B.},
  title = 	 {Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics},
  publisher = 	 {Springer-Verlag},
  year = 	 1985}

@TechReport{hsa,
  author = 	 {Goguen, J. and Malcom, G.},
  title = 	 {A Hidden Agenda},
  institution =  {UCSD},
  year = 	 1998}


@InCollection{m-g82,
  author = 	 {Meseguer,J. and Goguen,J.A.},
  booktitle = 	 {Algebraic Methods in Semantics},
  title = 	 {Initiality, induction and computability},
  publisher = 	 {Cambridge University Press},
  year = 	 1984,
  pages = 	 {459--541}}

@Article{eatcs-coalg,
  author = 	 {Jacobs, B. and Rutten, J.},
  title = 	 {A Tutorial on (Co)Algebras and (Co)Induction},
  journal = 	 {EATCS Bulletin},
  year = 	 1997,
  number = 	 62,
  pages = 	 {222-259}}


@InProceedings{rew-logic,
  author = 	 {Meseguer, J.},
  title = 	 {Conditional Rewriting Logic: Deduction, Models and Concurrency},
  booktitle = {Proc. 2nd International CTRS Workshop},
  year = 	 1991,
  number = 	 516,
  series = 	 {Lecture Notes in Computer Science},
  pages = 	 {64-91}}


@Article{institution,
  author = 	 {Goguen, J. and Burstall, R.},
  title = 	 {Institutions: Abstract Model Theory for Specification and Programming},
  journal = 	 {Journal of the Association for Computing Machinery},
  year = 	 1992,
  volume = 	 39,
  pages = 	 {95--146}}


@Article{trs-eatcs,
  author = 	 {Klop, J.W.},
  title = 	 {Term Rewriting Systems: A Tutorial},
  journal = 	 {EATCS Bulletin},
  year = 	 1987,
  number = 	 32,
  pages = 	 {143--182}}

@InCollection{trs-handbook,
  author = 	 {Dershowitz, N. and Jouannaud, J.-P.},
  booktitle = 	 {Handbook of Theoretical Computer Science,
   Vol.B: Formal Models and Semantics},
  title = 	 {Rewrite Systems},
  publisher = 	 {The MIT Press/Elsevier Science Publishers},
  year = 	 1990,
  pages = 	 {245--320}}


@TechReport{razvan96-1,
  author = 	 {Diaconescu, R. and Futatsugi, K.},
  title = 	 {Logical Semantics of CafeOBJ},
  institution =  {Japan Advanced Institute for Science and Technology},
  year = 	 1996,
  number = 	 {IS-RR-96-0024S}}


@Book{cafeobj-rep,
  author = 	 {Diaconescu, R. and Futatsugi, K.},
  title = 	 {CafeOBJ Report},
  publisher = 	 {World Scientific},
  year = 	 1998}

@Misc{preining:cafeobj,
  author = 	 {Norbert Preining},
  title = 	 {CafeOBJ},
  howpublished = {\url{http://www.preining.info/blog/cafeobj/}}}

