Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-228.pdf (beliebiger Volltext), 12MB
Ohlbach, H. J.(1994). Computer support for the development and investigation of logics (MPI-I-94-228). Saarbrücken: Max-Planck-Institut für Informatik.