Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994 - Birtwistle, Graham; Moller, Faron (Springer-Verlag, 1996)
bibliography:pp.263-266 Εργαστηριο Συνδυαστικων Αλγοριθμων