A functional programming approach to the specification and verification of concurrent systems
scientific article; zbMATH DE number 4137305
scientific article