书目详细信息 : ABSTRACTION AND SPECIFICATION WITH MODULA-2