On behavioural abstraction and behavioural satisfaction in higher-order logic
scientific article; zbMATH DE number 983437
scientific article