Хејс: (Ова е) тврдење за имплементирања на програмата наспроти чистите симулации на едно имплементирање, од оној тип што некој може да го направи со молив на хартија кога сака да дебагира: да видиме, х стана 17, затоа повикај ја процедурата move-hand-right со овие параметри, Хм, ...
„МАРГИНА бр. 3“
(1994)