Verifiable Programming (1992)

by O-J Dahl