Title: Animation prototyping of formal specifications
First published: 1992