Man pages matching name besinfo in section 1:

besinfo.1.en

debian 10 / mcrl2