Comment by jeanpah

I remember languages like Casl and vdm, But they where harder to implement and very complex, You mean something like those languages ?