Great Price Books

logic assertions and robust programming