Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, held as part of the Joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Wilhelm R. Compiler design : virtual machines / R. Wilhelm, H. Seidl, 2010 r=on-line. - Текст : электронный.