Computer implementation as described in "The Elements of Computing Systems"