Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Walsh, Toby Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-209.pdf (beliebiger Volltext), 213KB
Basin, D. A., & Walsh, T.(1994). Termination orderings for rippling (MPI-I-94-209). Saarbrücken: Max-Planck-Institut für Informatik.