Specification Level Interoperability

@inproceedings{Wileden-al:ICSE90,
  author    = {Jack C. Wileden and
               Alexander L. Wolf and
               William R. Rosenblatt and
               Peri L. Tarr},
  title     = {Specification Level Interoperability},
  booktitle = {ICSE},
  pages     = {74--85},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}