On the formal foundations of cash management systems | Publicación