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