Bart Jacobs Sjaak Smetsers Ronny Wichers Schreur Code-carrying theories. 191-203 2007 19 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-006-0013-4 db/journals/fac/fac19.html#JacobsSS07