@article{MakelaMarko-Makela:rinnakkaisuus,
author = {Marko M{\"a}kel{\"a}},
journal = {Prosessori},
month = {November},
note = {Erikoisnumero: elektroniikan suunnittelu (ES)},
pages = {68--71},
title = {Rinnakkaisuus hallintaan---Formaalit menetelm{\"a}t mutkikkaiden j{\"a}rjestelmien suunnittelun apuna},
year = {2001},
}