Logičeskoje projektirovanije setevych informacionnych sistem na baze mini-EVM (Zinatne, 1987)