Distributed specification - Robertson, Dave (1996)