Geert-Jan M. Kruijff, Ivana Kruijffová, Jiří Hana, Serge Sharoff, Danail Dochev, Elke Teich, John Bateman, Lena Sokolova, Kamenka Staykova (2000): Formal specification of full grammar models and Implementation of tactical generation resources for all three languages in a Finale Prototype. AGILE project deliverable Work Package 6: SPEC3-Bg, SPEC3. In: Technical report, p. 71, July (bibtex)