Z80-Beweisprogramm löst Schubert's "Steamroller" - Veenker, Gerd (Inst. für Informatik, 1986)