Pierre Paradinas Jean-Jacques Vandewalle New Directions for Integrated Circuit Cards Operating Systems. 56-61 1995 29 Operating Systems Review 1 db/journals/sigops/sigops29.html#ParadinasV95