Towards a formalization of budgets - Jan A. Bergstra; Sanne Nolst Trenité; Mark van der Zwaag (CoRR, 2008)

Tuplix Calculus Specifications of Financial Transfer Networks - Jan A. Bergstra; Sanne Nolst Trenité; Mark van der Zwaag (CoRR, 2008)