The Adventures of K9
The Adventures of K9 was a series of four illustrated paperback storybooks for children written by David Martin and published by Sparrow Books in 1980. The four books feature K-9, the character Martin co-created. Specifically, the stories (according to the Discontinuity Guide website) feature K-9 Mark I and are supposed to take place sometime after the events of The Invasion of Time when the Doctor left K-9 on Gallifrey.[1]
A total of four books were published:
Although the general spelling used for the name K-9 is hyphenated, these books consistently use the unhyphenated form, K9. They also suggest that The Doctor's real name might be the Theta Sigma nickname heard in The Invasion of Time.