Literatura faktu Algebraic specification techniques in object oriented programming environments R. Breu 1991
