The coded version of the AuctionSystem specification