Logo
Schwichtenberg, Helmut (Juli 1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München
Volltext auf 'Open Access LMU' nicht verfügbar.