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