Propositions and specifications of programs (1984)

by B Nordström, J M Smith
Venue:in Martin-Löf’s type theory, BIT 24