Bosscher D.J.B. Verification of an audio control protocol / D.J.B.Bosscher,I.Polak,F.W.Vaandrager, 1994. - 29 p. - Текст : непосредственный.
Bosscher D.J.B. Term rewriting properties of SOS axiomatisations / D.J.B.Bosscher, 1994. - 20 p. - Текст : непосредственный.