Logical Animation

@inproceedings{Costa-al:ICSE90,
  author    = {M. C. Costa and
               Jim Cunningham and
               J. Booth},
  title     = {Logical Animation},
  booktitle = {ICSE},
  pages     = {144--149},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}