Key points are not available for this paper at this time.
How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.
Шилов et al. (Sun,) studied this question.