Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Description Languages - Steel, T. B. (North-Holland Pub. Co, 1966)