4 ms·

This is the sort of situation Google books was made for. It's perfect for finding a citation from a bit of text you remember.