Van der Vegte, L.J.
(Computer Society of South Africa (on behalf of SAICSIT), 1987)
In this article a brief overview is given of specification techniques in general and in
particular, specification techniques used for the specification of communication protocols. This
discussion forms the background ...