@misc{indiciaefa6be6e9a1b6, title = {Example Programs for idasv1.0.0}, author = {Hindmarsh, Alan C. and Serban, Radu}, year = {2010}, doi = {10.2172/1124862}, url = {https://www.osti.gov/biblio/1124862}, note = {Source identifier: 1124862} }