Added better reference for assertion library