@misc{indiciae0fe9837fa956, title = {PenDoc Assistant v2.00}, author = {Kertesz, Vilmos}, year = {2016}, url = {https://www.osti.gov/biblio/1557123}, note = {Source identifier: 1557123} }