Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-98-2-017.pdf (beliebiger Volltext), 355KB
Tzakova, M., & Blackburn, P.(1998). Hybridizing concept languages (MPI-I-1998-2-017). Saarbrücken: Max-Planck-Institut für Informatik.