This is an example bib-file for Mizar article.
If a field is not used by you, just remove it.
You may also insert additional items according
to BibTeX standards. You may consult also 
fm.bib in bib directory.

@ARTICLE{EXAMPLE.MIZ,
  AUTHOR = {Smith, John D. and Smith, Jane D.},
  NOTE1 = {The author visited Daegoo University as a ZG Fellow. 
       You may insert here e.g. financial support for this chosen
       (i.e. first in this case) author.},
  TITLE = {Your Article Title Goes Here},
  NOTE = {This work has been partially supported by the KBN grant
      4 T11C 039 24 and the FP6 IST grant TYPES No. 510996.},
  ACKNOWLEDGEMENT = {Thank you, folks.},
  SECTION1 = {The Title of the First Section},
  SECTION2 = {The Title of the Second Section},
  DAY = {27},
  MONTH = {March},
  YEAR = {2007},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Institute of Informatics\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {This is a very long summary. At least one external bibliography
  item such as \cite{Mostowski:1969} is needed.}}

@BOOK{Mostowski:1969,
 AUTHOR={Mostowski, Andrzej},
 TITLE={Constructible Sets with Applications},
 PUBLISHER={North Holland},
 YEAR=1969}