Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
scientific article; zbMATH DE number 1394724