Building program construction and verification tools from algebraic principles
scientific article; zbMATH DE number 6609071
scientific article