"A deductive program transformation system."

Phillip C.-Y. Sheu, Song Bong Yoo (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics