Expressiveness of the Operation Set of a Data Abstraction.

Deepak Kapur, Mandayam K. Srivas

Browse the full POPL paper archive.