Sorry! The Overview html documents will be available soon. However, you can download the complete formalization paper in pdf format. The document comes in two sections (1.2 MB) as foreword.pdf and shelform.pdf

[return to index]