Instructional use of declarative languages for the study of machine transients | IEEE Journals & Magazine | IEEE Xplore