L. Lamport
IEEE Transactions on Software Engineering
Understanding sanction under variable observability in a secure, collaborative environment