Add another bib entry to theory
Fix some minor issues in BSc