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

Petr Sgall (2002): Formalizing a Functional Description. In: Current Approaches to Formal Slavic Linguistics. Contributions of the Second European Conference on Formal Description of Slavic Languages FDSL II, pp. 299--306, Peter Lang, Frankfurt/M. (bibtex)