Formal specification of basic mechanisms of a message passing kernel. - Janusz Górski; Henryk J. Napiatek (Microprocess. Microprogramming, 1987)