Title: A framework for the automatic animation of concurrent programs
First published: 1990