PROLOG as a formalism for VLSI design specification. - T. Grabowiecki; Adam Pawlak (Microprocess. Microprogramming, 1989)