Invitation to the International Symposium "Mathematical Foundation of Computer Science '77" with a request to deliver lectures on the problems of implementation of large systems.