PublicationJournal of Information TechnologyPaperWorking with formal methodsJournal of Information TechnologyView publicationAbstractNo abstract available.Home↳ PublicationsDate01 Jun 1987PublicationJournal of Information TechnologyAuthorsJohn NichollsIBM-affiliated at time of publicationShare