A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Peter Pepper. "A simple calculus for program transformation (inclusive of induction)." Science of Computer Programming 9.3 (1987) 221-262