@mastersthesis{WallenMsc,
author = {W{\'a}llen, Johan},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {On the differential and linear properties of addition},
year = {2003},
}