Laurent Perrussel Expressing Inter-Perspective Relationships: A Logical Approach. 58-63 1995 conf/apsec/1995 APSEC http://csdl.computer.org/comp/proceedings/apsec/1995/7171/00/71710058abs.htm db/conf/apsec/apsec1995.html#Perrussel95