A skeptic’s approach to combining HOL (1998)

by J Harrison, L Théry