" Mathematical foundations of computer science 1993 : " Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.