Theoretical foundations of computer science - Mandrioli Dino; Ghezzi Carlo (N Y John Wiley, 1987)
Keywords: Computer science