Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. - Sowmiya Ramkarthik; Cui Zhang (ACIS-ICIS, 2006)