Algebraic models of microprocessors architecture and organisation
scientific article; zbMATH DE number 948626
scientific article