Miller, Jeffrey; Young, Woodward, Simple Pulse Asynchronous State Machines, retrieved 25 August 2009 http://vlsi.eecs.harvard.edu/techreports/iscas96m.ps ↩