Title: The Programming and Proof System (Research Reports ESPRIT: Project 1158)