@misc{Steingartner_William_Some, author={Steingartner William and Radaković Davorka and Valkosak Frantisek and Macko Pavol}, howpublished={online}, publisher={Wydaw. Politechniki Częstochowskiej}, language={eng}, type={artykuł}, title={Some properties of coalgebras and their rôle in computer science}, keywords={coalgebra functor, induction, internal state of program, observable behavior of program, SLGeometry software}, }