Added reference for LLL reducedness testing.