Frédéric Besson, Thomas P. Jensen: Modular Class Analysis with DATALOG. SAS 2003: 19-36