Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=-1440317400478047008&mode=view

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)