Hierarchical program specification and verification - a many-sorted logical approach
scientific article; zbMATH DE number 3673505