"Program behavior and its models."

Takashi Masuda, Tong-Haing Fin (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics