An Overview of the B Programming Language - or: B without Tears. - Leo Geurts (ACM SIGPLAN Notices, 1982)

ABC programmer's handbook. - Leo Geurts; Lambert G. L. T. Meertens; Steven Pemberton (Prentice Hall, 1990)