Contents

Introduction

Basic Ideas
Construction 
Accumulation 

Language
Recursion Removal Rules

Related Works 
Conclusion