Proofrock, J. A. "PRL: Proof refinement logic programmer's manual (Lambda PRL VAX version)". Computer Science Dept., Cornell Univ., 1983.

Languages mentioned

• Lambda-PRL {1983}
• PRL {1983} Proof Refinement Logic