Juan C. Agudelo Walter Alexandre Carnielli Unconventional Models of Computation Through Non-standard Logic Circuits. 29-40 2007 conf/uc/2007 UC http://dx.doi.org/10.1007/978-3-540-73554-0_5 db/conf/uc/uc2007.html#AgudeloC07