Formal Aspects of Computing (Springer Verlag London, 1989)
Keywords: elektronické časopisy; výpočetní technika