Yifeng Chen Jeff W. Sanders The weakest specifunction. 383-414 2005 41 Acta Inf. 7-8 http://dx.doi.org/10.1007/s00236-005-0163-5 db/journals/acta/acta41.html#ChenS05