TY - RPRT TI - Design Language for Digital Systems AU - Shiva, S. G. PY - 1985 UR - https://ntrs.nasa.gov/citations/19850000281 ID - 19850000281 ER -