Sales Statistics Process - Formal Specification and Implementation

Reference:

Mika Jalkanen. Sales statistics process - formal specification and implementation. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000.

Suggested BibTeX entry:

@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},
}