The weakest specifunction

Yifeng Chen, Jeff W. Sanders. The weakest specifunction. Acta Informatica, 41(7-8):383-414, 2005. [doi]

Abstract

Abstract is missing.