J. C. M. Baeten

Dutch computer scientist and mathematician