Refinement Checking for Privacy Policies (Science of Computer Programming, 2011)

(untitled) - Goldsmith, S