I quite like how Ada has "specification" files, which describes the methods (procedures, entries, functions), types and contracts for everything.