0 e
Felix Redmill
classification computer computer systems development formal method functional programming information system language programming programming language safety-critical system service-oriented computing software software engineering structured