Philippe Bidinger Alan Schmitt Jean-Bernard Stefani An Abstract Machine for the Kell Calculus. 31-46 2005 conf/fmoods/2005 FMOODS http://dx.doi.org/10.1007/11494881_3 db/conf/fmoods/fmoods2005.html#BidingerSS05