Early Experiences with Euclid

@inproceedings{Wortman-Cordy:ICSE81,
  author    = {David B. Wortman and
               James R. Cordy},
  title     = {Early Experiences with Euclid},
  booktitle = {ICSE},
  pages     = {27--33},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}