Textbook: Einführung in die Informatik with Manfred Sommer Microcode-Simulator with M.Perner NPPV(New Paltz Program Verifier) Using XY-pic in LyX (Documentation) html or pdf