Computer implementation as described in "The Elements of Computing Systems" - View it on GitHub