K. Kraus,A. Bohm.States, effects, and operations:fundamental notions of quantum theory. Lectures in mathematical physics at the Univ. of Texas at Austin.Springer,1983.
G. Ausiello,C. Bohm,Colloquium on automata, languages and programming.Colloquium on automata, languages and programming (5th : 1978 ; Udine, Italy):Automata, languages and programming.Springer,508 p..