Structured programming based on algorithmic algebra systems with file manipulating facilities