Mathematical foundations of computer science 1986 : proceedings - Rovan, Branislav (Springer, 1986)
Lit.