Taubner, Dirk Theoretical CSP and formal languages Drik Taubner - Munchen Universitat Munchen 1987 - 21 p fig 20 cm - TUM I 8706 . Contine bibliografie