Verification of the MDG Components Library in HOL (1998)

by Paul Curzon, Sofiène Tahar, Otmane Aït Mohamed