Title: Verification in All Its Aspect
First published: 1986