Specification and Proving of Command Programs. - Erich J. Neuhold; T. Weller (Acta Informatica, 1976)