The quest for correctness, in: Aspers et al (1996)

by H P Barendregt