Foundations of a Theory of Specificaitons for Distributed Systems (1984)

by E W Stark