@mastersthesis{RautilaMsc,
author = {Rautila, Mika},
school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
title = {Prosessialgebran k\"aytt\"o \"alyverkkopalveluiden m\"a\"arityksess\"a ja analysoinnissa},
year = {1994},
}