Which sources are listed in the second bibliography section?

"Bibliography [13] Edsger W. Dijkstra. Why numbering should start at zero. https://www.cs.utexas. edu/users/EWD/transcriptions/EWD08xx/EWD831.html , 1982. [Online; accessed September 25, 2015]. [14] Bruce Eckel. Thinking in Java . Prentice Hall PTR, Upper Saddle River, NJ, USA, 4th edition, 2005. [15] Internet Goons. Do i cast the result of malloc? http://stackoverflow. com/questions/605845/do-i-cast-the-result-of-malloc . [Online; accessed September 27, 2015]. [16] Arend Heyting. Die formalen Regeln der intuitionistischen Logik . Berlin, 1930. First use of the notation ¬ as a negation operator. [17] C. A. R. Hoare. Algorithm 64: Quicksort. Commun. ACM , 4(7):321–, July 1961. [18] C. A. R. Hoare. Quicksort. The Computer Journal , 5(1):10–16, 1962. [19] IEC. IEC 60559 (1989-01): Binary floating-point arithmetic for microprocessor systems . 1989. This Standard was formerly known as IEEE 754. [20] IEEE Task P754. IEEE 754-2008, Standard for Floating-Point Arithmetic . August 2008. [21] Donald E. Eastlake III, Carl-Uno Manros, and Eric S. Raymond. Etymology of ”foo”. RFC , 3092:1–14, 2001. [22] ISO. ISO 8601:1988. Data elements and interchange formats — Information inter- change — Representation of dates and times . 1988. See also 1-page correction, ISO 8601:1988/Cor 1:1991. [23] John McCarthy. Towards a mathematical science of computation. In In IFIP Congress , pages 21–28. North-Holland, 1962. [24] Poul-Henning Kamp. The bikeshed email. http://phk.freebsd.dk/sagas/ bikeshed.html . [Online; accessed September 12, 2016]. [25] Brian W. Kernighan. Programming in C – A Tutorial . Bell Laboratories, Murray Hill, New Jersey, 1974. [26] Brian W. Kernighan. The C Programming Language . Prentice Hall Professional Technical Reference, 2nd edition, 1988. [27] Donald E. Knuth. Von neumann’s first computer program. ACM Comput. Surv. , 2(4):247–260, December 1970. [28] Tony Long. The man who saved the world by doing ... nothing. Wired, September 2007. 612"