R. B. Hughes

Automatic software verification and synthesis

R. B. Hughes, 1989, RTSS 1989.

Interactive automated verification of functional programming languages

R. M. Zimmer, R. B. Hughes, 1992 .

The Lambda Approach to System Verification

G. Musgrave, R. B. Hughes, 1996 .