Logical Animation. - M. C. Costa; Jim Cunningham; J. Booth (ICSE, 1990)