From: Budi Rahardjo (firstname.lastname@example.org)
Synchronized transition (ST) is a methodology advocated by J. Stanustroup.
There is a set of tools to translate the description to a C program
or to a description that can be fed to LP, the Larch Prover.
ST tools are available through anonymous FTP from
Contact : email@example.com