WP-laskennan oikeellisuus ja täydellisyys - Vuorenmaa, Antti (2003)