The Distributed Specification