@misc{_Formalized,
 howpublished={online},
 publisher={University of Bialystok},
 language={eng},
 title={Formalized Mathematics 2006 nr 4},
 keywords={Computer Mathematics, Computer Science, Computer assisted approach},
}