Files
eiffel-org/documentation/16.05/solutions/concurrent-computing/eiffelthread/eiffelthread-tutorial