I think you'll like this article: https://blog.acolyer.org/2016/11/08/on-formalisms-in-specifications/ https://blog.acolyer.org/2016/11/08/on-formalisms-in-spec

I think you'll like this article: https://blog.acolyer.org/2016/11/08/on-formalisms-in-specifications/ https://blog.acolyer.org/2016/11/08/on-formalisms-in-specifi...