Defining An Operational Semantics for Resource Management in Lolli
Kevin Watkins