A class of programming language mechanisms to facilitate multiple implementations of the same specification | IEEE Conference Publication | IEEE Xplore