Foundations of Software Technology and Theoretical Computer Science (informationswissenschaftl. Veröffentlichungen)