\input zb-basic
\input zb-ioport
\iteman{io-port 70840376}
\itemau{Nasre, Rupesh; Govindarajan, Ramaswamy}
\itemti{Points-to analysis as a system of linear equations}
\itemso{SAS, 422-438 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-15769-1\_26}
\end