Formal methods. - Beth Evert W (Holland D Reidel Publishing, 1962)