Referential transparency, definiteness and unfoldability (1990)

by H Sondergaard, P Sestoft
Venue:Acta Informatica