Sanne Nolst Trenité

	2008
2		Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Towards a formalization of budgets CoRR abs/0802.3617: (2008)
1		Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Tuplix Calculus Specifications of Financial Transfer Networks CoRR abs/0805.1806: (2008)

Coauthor Index

1	Jan A. Bergstra	[1] [2]
2	Mark van der Zwaag	[1] [2]