Jackson, Daniel. 2000. “Enforcing Design Constraints with Object Logic.” in Proceedings of the Seventh Annual Static Analysis Symposium, SAS 2000, edited by Jens Palsberg, pp. 1–21. Berlin: Springer.
Jackson, Daniel and Jackson, Michael. 1995. “Problem Decomposition for Reuse.” CMU-CS-95-108. Pittsburgh, Pennsylvania: Carnegie Mellon University.