Chen, Yifeng, Sanders, J.W., "The weakest specifunction", Acta Informatica, 2005