De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario  Types as Specifications of Access Policies.   In:  Secure Internet Programming.   Lecture Notes in Computer Science, 1603 .  Springer, pp. 118-146.  ISBN 3-540-66130-1      (1999)