Providing a Formal Linkage between MDG and HOL (2002)

by Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford