Journals
Books
Articles by keyword program design and analysis
3-D hypertext in technology of programming
A. P. Gagarin, A. D. Golubkin