Veanes, Margus Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-98-2-014.pdf (Any fulltext), 392KB
Gurevich, Y., & Veanes, M.(1998). Partisan corroboration, and shifted pairing (MPI-I-1998-2-014). Saarbrücken: Max-Planck-Institut für Informatik.