A complete proof of the safety of Nöcker’s strictness analysis. Frank report 20, Institut für Informatik. J.W.Goethe-Universität Frankfurt (2005)

by SSSS05 Manfred Schmidt-Schauß, Marko Schütz, David Sabel