IV Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 Birtwistle, Graham Heftet / 1991 / Engelsk
Current Trends in Hardware Verification and Automated Theorem Proving Birtwistle, Graham Heftet / 2011 / Engelsk
