Program extraction from large proof developments (2003)

by L Cruz-Filipe, B Spitters
Venue:Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, volume 2758 of LNCS