A methodology for structural & behavioural understanding of digital systems. - Rajiv R. Parihar; Paul P. Dasiewicz (Microprocessing and Microprogramming, 1989)