Proof rules for the programming language Euclid
scientific article; zbMATH DE number 3599450