editors, Logic Colloquium ‘73, pages 73–118. North Holland, 1975. Per Martin-Löf. Constructive mathematics and computer programming. In Logic, Methodology
Greenwald, Scott; Schmidt-Nielsen, Peter (2010). “Reconfigurable asynchronous logic automata”. Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on