issue #26: bibliography cleanup
issue #26: reviewed theory and definitions