@article{
    Makela:rinnakkaisuus,
    author = {M{\"a}kel{\"a}, Marko},
    title = "Rinnakkaisuus hallintaan---Formaalit menetelmät mutkikkaiden järjestelmien suunnittelun apuna",
    url = "http://www.prosessori.fi/arkisto/artikkelit/2001-11B/RINNAKKAISUUS.HTM",
    journal = "Prosessori",
    month = "November",
    note = "Erikoisnumero: elektroniikan suunnittelu (ES)",
    flags = "public",
    year = "2001",
    pages = "68--71"
}