The pragmatic formalization of computing systems relative to a given high level language
By: Derek Cooke
Contributors: University of London
Published: 1976
Language: eng
Notes: BLDSC reference no.: D18169/77.

Thesis (doctoral)--University of London, 1976.