[ SZ01 ] Formal Additive Programs by Nadine Nakanishi