Presents the entire Modula-2 language and illustrates its use in the context of modern software development. The book focuses on the use of abstract data types and information hiding in the software development process. It shows how the frame of a software system can be specified, at the design stage, using Modula-2 as a program design language. In fact, the ability to separate the specification of an abstraction from its implementation is one of...