I put together this bibliography of recent BFT systems and supporting theory. The field has moved pretty far in the past few years, and the design space has many tradeoffs identified now. Collectively they paint a compelling picture of the possibilities.