Possum: An animator for the SUM specification language (1997)

by D Hazel, P Strooper, O Traynor
Venue:In Proceedings: 4th Asia-Pacific Software Engineering