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