A RESTful interface for a coffee maker