介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题,强调描述和实现方面。