В книге американских ученых рассматривается методология разработки больших вычислительных систем, предусматривающая использование специального языка проектирования программ и позволяющая создавать высоконадежное эффективное и легкомодифицируемое программное обеспечение. Изложение сопровождается большим числом примеров.
