Simulating the Behaviour of Software Modules by Trace Rewriting

@inproceedings{Wang-Parnas:ICSE93,
  author    = {Yabo Wang and
               David Lorge Parnas},
  title     = {Simulating the Behaviour of Software Modules by Trace Rewriting},
  booktitle = {ICSE},
  pages     = {14--23},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}