Parameterized Programming in OBJ2

@inproceedings{Futatsugi-al:ICSE87,
  author    = {Kokichi Futatsugi and
               Joseph A. Goguen and
               Jos{\'{e}} Meseguer and
               Koji Okada},
  title     = {Parameterized Programming in {OBJ2}},
  booktitle = {ICSE},
  pages     = {51--60},
  publisher = {{ACM}},
  year      = {1987},
}