Axiomatics of simple assignment statements (1968)

by J W DE BAKICER
Venue:M.R. 94, Mathematisch Centrum