Theoretical foundations of computer science /
Mandrioli, Dino.
Ghezzi, Carlo.
New York ; Chichester : Wiley,
c1987.
Includes index.
Bibliography: p. 459-469.
Electronic data processing