FENCOTT,C FORMAL METHODS FOR CONCURRENCY - LONDON International Thomson 1996 - 23X15 ISBN: 1850321736 Dewey Class. No.: 621.3819535 F331