T. Balopoulos, S. Gritzalis, S.K. Katsikas, “Specifying privacy-preserving protocols in Typed MSR”, Computer Standards and Interfaces, Vol. 27, σελ. 501-512, 2005.