Early English Books Online (EEBO) and a Plug for British Official Publications Collaborative Reader Information Service (BOPCRIS).