Another side of SPoC:
occam's ALTer ego dissected with PC-lint
Øyvind TEIG
Navia Maritime AS, Division Autronica
7005 Trondheim, Norway
Navia Maritime AS
www.navia.no - www.autronica.no
WoTUG 22
11-14 April 1999
Department of Computer Science, Keele University, UK