A program simulator by partial interpretation. - Kazuhiro Fuchi; Hozumi Tanaka; Yuriko Manago; Toshitsugu Yuba (SOSP, 1969)