Martin Hofmann, Donald Sannella
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic
TAPSOFT, 1996.
@article{TAPSOFT-J-1995-HofmannS96,
author = "Martin Hofmann and Donald Sannella",
doi = "10.1016/0304-3975(96)00068-0",
issn = "0304-3975",
journal = "{Theoretical Computer Science}",
number = "1&2",
pages = "3--45",
title = "{On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic}",
volume = 167,
year = 1996,
}