Formal specification and Software Development (1983)

by D Bjørner, C Jones
Venue:Propositions and specifications of programs in MartinLöf’s type theory, BIT 24