David S. Wile Adding relational abstraction to programming languages. 128-139 1990 Formal Methods in Software Development https://doi.org/10.1145/99569.99833 https://doi.org/10.1145/99571.99833 conf/fmsd/1990 db/conf/fmsd/fmsd1990.html#Wile90