Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen, Deutscher Universitatsverlag (1998)

by P Herrmann