@InProceedings{Kołopieńczyk:2000,
author
=
"A.Kołopieńczyk",
title
=
"Formal specification of dynamic documents",
booktitle
=
"Advanced Computer Systems - ACS 2000 Proceedings of the Seventh International Conference; ISBN: 87362247",
address
=
"Szczecin, Polska",
publisher
=
"Szczecin Wydaw. i Drukarnia Wydziału Informatyki Politechniki Szczecińskiej ",
pages
=
"376--381",
organization
=
"Technical University of Szczecin, Albert-Ludwigs-University Freiburg im Breisgau - Germany, University of Technology of Troyes - France",
year
=
"2000",
}