A relational approach to the design of deterministic programs
scientific article; zbMATH DE number 3802785