Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.

This program is for a (chinese) restaurant to take orders for takeout or delivery. It keeps a database of customer information (for repeat customers). It prints 3 copies of the order (store, kitchen, customer) and tallies the orders each day.