Malcolm C. Newey Proving Properties of Assembly Language Programs. 795-799 1977 IFIP Congress db/conf/ifip/ifip1977.html#Newey77