Title: An introduction to COMIT programming