On the Unification of Data and Program Abstraction in Ada.

Peter Wegner

Browse the full POPL paper archive.