Specification and Proving of Command Programs.

Erich J. Neuhold T. Weller Specification and Proving of Command Programs. 15-40 1976 6 Acta Inf. db/journals/acta/acta6.html#NeuholdW76