A refinement calculus for specifications in Hennessy-Milner logic with recursion
specification and verification of processes
scientific article; zbMATH DE number 4141478
scientific article