The Machine Model: Stack, Heap, and Garbage Collection | part of C# Precisely | MIT Press books | IEEE Xplore