@inproceedings {260218, author = {Brian William Keves}, title = {Open Systems Formal Evaluation Process}, booktitle = {USENIX Seventh System Administration Conference (LISA 93)}, year = {1993}, address = {Monterey, CA}, url = {https://www.usenix.org/conference/lisa-93/open-systems-formal-evaluation-process}, publisher = {USENIX Association}, month = nov }