A verification system for concurrent programs based on the Boyer-Moore prover
scientific article; zbMATH DE number 110526