Specification of a specification language

Alford, 1977, A requirements engineering methodology for real time processing requirements, IEEE Trans. Software Eng., SE-3, 60, 10.1109/TSE.1977.233838 Bochmann, 1976, Semantic evaluation from left to right, Commun. ACM, 19, 55, 10.1145/359997.359999 Eckert, 1981, ESPRESO-W, ein Werkzeug für die Spezifikation von Prozessrechner-Software, 101 Jackson, 1976, The achievement of well structured software in realtime applications, 229 Jensen, 1974, PASCAL: user manual and report, Vol.18 Knuth, 1968, Semantics of context-free languages, Math. Syst. Theory, 2, 127, 10.1007/BF01692511 1979 Ludewig, 1980, Process control software specification in PCSL, 103 Ludewig, 1981, Zur Erstellung der Spezifikation von Prozessrechner-Software Marcotty, 1976, A sampler of formal definitions, Computing Surveys, 8, 191, 10.1145/356669.356672 1963, 4, 420 Seegmüller, 1974, Einführung in die Systemprogrammierung Teichroew, 1977, PSL/PSA: A computer aided technique for structured documentation and analysis of information processing systems, IEEE Trans. Software Eng., SE-3, 41, 10.1109/TSE.1977.229902 Watt, 1977, Extended attribute grammars Watt, 1979, An extended attribute grammar for PASCAL, SIGPLAN-Notices, 14, 60, 10.1145/954063.954071