"AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J.W. deBakker ed, Wiley 1989

This article (or an earlier version of it) contains material from FOLDOC, used with permission.