Content Posted in 2013 . Semi-proving: an integrated method for program proving, testing, and debugging, Tsong Yueh Chen, T. H. Tse, and Zhiquan Zhou. PDF. Senate estimates and their contribution to Australian Commonwealth public sector financial accountability, Graham David Bowrey. Sensationalising sex offenders and sexual recidivism: impact of the Serious Sex Offender Monitoring