Technical reports and lecture notes