Logičeskoje projektirovanije operacionnych sistem - Šoy, Alan (rz1, 1981)