Hardware description languages: some recent developments - Davie, Bruce S. (University <Edinburgh> / Department of Computer Science: Internal report, 1986)