Luca Padovani, Simon Gay, and I recently wrote a book chapter intended as a tutorial introduction to Mailbox Types.

The chapter is in the final phases of the review process (although we are waiting on final confirmation of acceptance), so I've put a draft on my website: https://simonjf.com/drafts/mb-behapi-draft-jan26.pdf