SACLA seems to contain an implementation of the long form of D-M-C: http://homepage1.nifty.com/bmonkey/lisp/sacla/html/lisp/clos.lisp.html It's released under a BSD license, so just copying it into ABCL is viable, but the code may also just be used for inspiration. -T.