Program behaviour modelling with flexible logical entity abstraction

- Andrews, David