Working Notes

made in preparation to the talk at the seminar on system programming dedicated to the report y Siegmuller "Formation of system programming"