Verifikation von ML-programmen mit dem beweisprüfer Lego. Master’s thesis, Diplomarbeit an der Universität Erlangen (1986)

by Standard ML