Brink, Chris Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-220.pdf (beliebiger Volltext), 240KB
Brink, C., Gabbay, D. M., & Ohlbach, H. J.(1993). Towards automating duality (MPI-I-93-220). Saarbrücken: Max-Planck-Institut für Informatik.