Referential transparency, definiteness and unfoldability (1989)

by H Søndergaard, P Sestoft
Venue:Acta Inform