А3.45, Б3.33, В4.43.
Berry G..
Reactive Systems-Munchen., 1992.-72 p.-(Препринт Techn.Univ.Munchen №9).
