Verification of sequential and concurrent programs
scientific article; zbMATH DE number 5602955