A Property-Based Method for Selecting Among Multiple Implementations of Modules. - Christian S. Collberg; Magnus G. Krampell (ESEC, 1987)