who are primarily credited with the development of the unix operating system