Formalisation of behavioural and structural concepts for communication systems.

Paul King Graeme Smith Formalisation of behavioural and structural concepts for communication systems. 3-18 1990 conf/pstv/1990 PSTV db/conf/pstv/pstv1990.html#KingS90