Modelling pipelined computer architectures. - Peter Ho Yin Ching (1988)