Towards the formal specification of the requirements and design of a processor interface unit | lit.salon