Үүнийг мессежээр илгээх: Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy.