Quick piping: a fast, high-level model for describing processor pipelines. - Christopher W. Milner; Jack W. Davidson (LCTES-SCOPES, 2002)