Books by Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata on BookTides.