@mastersthesis{Wallen:mastersthesis,
author = {Johan Wall{\'e}n},
month = {November},
school = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
title = {On the Differential and Linear Properties of Addition},
year = {2003},
}