Dexter Kozen Wei-Lung Dustin Tseng The Böhm-Jacopini Theorem Is False, Propositionally. 177-192 2008 MPC http://dx.doi.org/10.1007/978-3-540-70594-9_11 conf/mpc/2008 db/conf/mpc/mpc2008.html#KozenT08