https://emi-h.com/articles/typechecking-mcrl2<meta http-equiv='refresh' content='0;url=https://emi-h.com/articles/typechecking-mcrl2'>