A first specification of the server