“As I say, there was this movement to try to bring philosophers and mathematicians together into an organization where they would talk to each other. An organization wasn't effective unless you had a journal. That's about all I know.”
Stephen Cole Kleene.
Λ02Ο. Algebraic specifications and their applications in computer science