International conference on mathematical foundations of computer science - Hartmains J; Goes G (Berlin Springer Verlag, 1975)
Keywords: Mathematics