//-->
Mathematical foundations of computer science : proceedings
A calculus of communicating systems
Milner, Robin, (1980)
Semirings, automata, languages
Kuich, Werner, (1986)
Fundamental programming concepts
Gross, Jonathan L., (1972)