Jean Vuillemin Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. 1-12 http://link.springer.de/link/service/series/0558/bibs/1961/19610001.htm 2000 conf/asian/2000 ASIAN db/conf/asian/asian2000.html#Vuillemin00