Julkaisut sisältäen Coquand-h