Οι εκδόσεις των πρακτικών του Διεθνούς Θερινού Πανεπιστημίου και του «Μικρού Θερινού»