Specificational functions (0)

by J M Morris, A Bunkenburg
Venue:ACM Trans. Program. Lang. Syst