A structural modeling notation for the typed functional paradigm

- Motara, Yusuf, M