Hierarchical program specification and verification-A many-sorted logical approach (1980)

by R NAKAJIMA, M HONDA, H NAKAHARA
Venue:Acta Znf