Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. - Sherri M. Sanders; Cui Zhang (SEKE, 2008)