From algorithms to working programs: On the use of program checking in LEDA (1998)

by K Mehlhorn, S Näher
Venue:In Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS’98