The user interface in the development of a computer-based training tool for teaching JOVIAL J73 | IEEE Conference Publication | IEEE Xplore