The Foundations of Program Verification (1984)

by J Loeckx, K Sieber
Venue:Teubner Series in Computer Science