Tsvira, Y., & 		Gorbunova, T.
2024 Dec 15.  Implementation of Type Theory as a Tool for Perceiving Mathematical Theory in Developed Software. Modern Information Technologies and IT-Education. [Online] 20:4