@mastersthesis{JalkanenMsc,
author = {Jalkanen, Mika},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Sales Statistics Process - Formal Specification and Implementation},
year = {2000},
}