This book provides a gentle yet thorough introduction to the Modula-2 language, placing emphasis on good programming style and the importance of defining modules for abstract data types and abstract state machines.