Co~pu~er-eided Verijic~ion of Coordinating Processes (1994)

by I Kurshan