W. Ploegaerts, Diederik Verkest, Luc Claesen, Hugo De Man. Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language. Journal of Systems Architecture, 27(1-5):279-286, 1989. [doi]
Abstract is missing.