Graciani-Díaz, C., Martín-Mateos F. J., & Pérez-Jiménez M. J.  (2002).??Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment.  Lecture Notes in Computer Science. 2509, 126-136.