9 Conclusion
Thus ends the short tutorial. For more details on the actual semantics and specs, refer to the PLAN Programmer's Guide [
5
].
