Derek Cooke

• The pragmatic formalization of computing systems relative to a given high level language