Computer systems modelling and development : a disciplined approach, volume 1 : language, mathematical modelling and logic - Cornwell, David (Sweden Chartwell-Bratt Ltd, 1989)
Keywords: Computer systems; Electronic digital computers