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