Materials for teaching "Programming in the Large" at the University of Queensland/