Logo
DeutschClear Cookie - decide language by browser settings
Schwichtenberg, Helmut (1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München
Full text not available from 'Open Access LMU'.