Internal set theory: A new approach to nonstandard analysis — scientific article published in 1977