Books about System specification and virtual memorymanagement for dynamic data-dominated applications