On behavioural abstraction and behavioural satisfaction in higher-order logic (1996)

by Martin Hofmann, Donald Sannella
Venue:Theoretical Computer Science