Artifact Details Title A virtual Lukko machine and its implemetation Catalog Number 102653814 Type Document Date 1983-06 Author Heimonen, Juha-Matti Publisher Tampere, University of Category Technical Report Collection Title Company Collection Lot Number X3067.2005