Computational Oriented Matroids by Juergen Bokowski