Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...”
Click to View

Format:
Table of Contents: “....2 Defining a Framework for Modeling: Design and Notation -- 8.3 Developing the S-BPM Buildbook -- 8...”
Click to View

Format:
Table of Contents: “... -- About the Editors and Contributors -- Editors -- Contributors -- Abbreviations -- Part I: Background...”
Click to View

Format:
Table of Contents: “...Intro -- Table of Contents -- Preface -- Foreword -- CONTRIBUTORS -- NOTATION -- PART I RAY TRACING...”
Click to View