Stokhof, M. B. J. (Martin B. J.) is not used in this library's catalog. Stokhof, M. J. B. (Martin J. B.) is used instead.
Try a search for Stokhof, M. J. B. (Martin J. B.)