On some innovations in teaching the formal semantics using software tools. - Steingartner, William (Ecological Genomics, 2021)