Julkaisut sisältäen Girard-c