I think buch-mol  works. Running it on the example from the book gives almost the right answer; it differs at one of the matrix reductions but it seems like the book is wrong...