Transactional primitives and transaction management
Transactional system errors
Prelude of transactional system
Transaction management definitions
Transactional variable definitions