Design by Contract for Python - R. Plösch; The Pennsylvania State University CiteSeerX Archives (http://www.swe.uni-linz.ac.at/Staff/ReinholdPloesch/publications/se-97.24.pdf, 1997)