Consistency Checking within Embedded Design Languages

@inproceedings{Rudmik-al:ICSE82,
  author    = {Andres Rudmik and
               B. E. Casey and
               H. Cohen},
  title     = {Consistency Checking within Embedded Design Languages},
  booktitle = {ICSE},
  pages     = {236--245},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}