Christer Hulten Simple dynamic assertions for interactive program validation. 405-410 1984 AFIPS National Computer Conference http://doi.acm.org/10.1145/1499310.1499362 conf/afips/1984 db/conf/afips/ncc84.html#Hulten84