object algebras case study