Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83 (MC840302); site mcvax.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!zehntel!hplabs!sdcrdcf!sdcsvax!akgua!mcnc!decvax!mcvax!steven
From: steven@mcvax.UUCP (Steven Pemberton)
Newsgroups: net.lang
Subject: Re: occam
Message-ID: <5896@mcvax.UUCP>
Date: Fri, 13-Jul-84 09:58:24 EDT
Article-I.D.: mcvax.5896
Posted: Fri Jul 13 09:58:24 1984
Date-Received: Mon, 16-Jul-84 07:35:57 EDT
References: <8577@gatech.UUCP>, <3752@fortune.UUCP> <1196@drux3.UUCP>
Organization: CWI, Amsterdam
Lines: 4

I recently saw a definition of occam published by Prentice Hall
in the series of books Tony Hoare is editor of (with the red and white covers).
It was very pretty, with different colour inks used for different parts of the
specification.