The glory of the past (1985)

by O Lichtenstein, A Pnueli, L Zuck
Venue:Conf. on Logics of Programs, Springer LJVCS