Ian Mearns

Fundamentals of cost and management accounting
A denotational semantics for concurrent Ada programs