Mikro-EVM - Dirksen, A. J. (Energoatomizdat, 1982)