I know this is slightly off topic but... Does anyone know if there are any papers published anywhere on strictness annotations? It seems that it would be nice to be able to cite a paper on the concept, but, as far as I can tell, no such paper exists. -Rob