Vvedenije v programmirovanije dlja vyčislitel´nych mašin. - Higman, Bryan (Mir, 1978)