International journal of foundations of computer science (World Scientific, 1991)