Definition and verification of computer network protocols. - N. V. Stenning (1978)