I had thought that Mike Malcom used it for Thoth,
QNX's predecessor.
Thoth sounds downright fascinating and does indeed look to be written
in B (or a dialect). Google pointed me to a few research papers
describing the system. I wonder if the University of Waterloo or
David Cheriton has a snapshot of it from that research?