@misc{158136, author = {William Mitchell}, title = {PHAML User's Guide, Version 1.0}, year = {2006}, month = {2006-10-31}, publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.IR.7374}, language = {en}, }