@Journal article{a014031047,
	author =  "Ruokanen, Miikka", 
	title = "Kirja-arvostelu : Verifikationen : Festschrift f",
	publisher = "",
    year =      ""
}