added code listings for design by contract