Software Process à la Algebra: OBJ for OBJ

@inproceedings{Nakagawa-Futatsugi:ICSE90,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  title     = {Software Process {\`{a}} la Algebra: {OBJ} for {OBJ}},
  booktitle = {ICSE},
  pages     = {12--23},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}