Where can I get gas round here? — an application of a design methodology for distributed systems Book chapter (January 1991)