Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
James F. Peters, Sheela Ramanna, E. A. Unger. Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract). In ACM Conference on Computer Science. pages 417, 1990. [doi]
Abstract is missing.