Executing Behavioural Definitions in Higher Order Logic (1988)

by Albert John Camilleri