John DeTreville Phoan: An Intelligent System for Distributed Control Synthessis. [Citation Graph (0, 0)][DBLP] Software Development Environments (SDE), 1984, pp:96-103 [Conf]
John DeTreville Binder, a Logic-Based Security Language. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 2002, pp:105-113 [Conf]