Theoretical foundations of computer science - Mandrioli, Dino; Ghezzi, Carlo (New York : John Wiley & Sons, 1987)
Keywords: Mathematics -- 1961-.; Electronic data processing -- Mathematics