M.: 'Propositions and specifications of programs (1984)

by B Nordstr6m, J Smith
Venue:in Martin-L6f's type theory ~, BIT 24