Book Specifying Systems: Errata