From Algorithms to Working Programs: On the Use of Program Checking in LEDA.

Kurt Mehlhorn Stefan Näher From Algorithms to Working Programs: On the Use of Program Checking in LEDA. 84-93 1998 conf/mfcs/1998 MFCS http://link.springer.de/link/service/series/0558/bibs/1450/14500084.htm db/conf/mfcs/mfcs98.html#MehlhornN98