A proof technique for communicating sequential processes
scientific article; zbMATH DE number 3725689
scientific article