FSP Reference
FSP stands for Finite State Processes.
Appendix A - FSP Quick Reference
Appendix B - FSP Language Specification