Exhaustive Test Pattern Generation with Constant Weight VectorsDonald T. TangLin S. Woo1983IEEE TCPaper
A Basis for the Quantitative Comparison of Computer Number SystemsShauchi OngDaniel E. Atkins1983IEEE TCPaper
Analytic Queueing Models for Programs with Internal ConcurrencyPhilip HeidelbergerKishor S. Trivedi1983IEEE TCPaper