An algorithm and case study for the object oriented abstraction - Ratajczak, Jakub (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)