The Trusted Function in Secure Decentralized Processing. - P. Tucker Withington (S&P, 1980)

A Monotonic Superclass Linearization for Dylan. - Kim Barrett; Bob Cassels; Paul Haahr; David A. Moon; Keith Playford; P. Tucker Withington (OOPSLA, 1996)