Other more referential stuff. Perhaps we could place the full sources of the examples (calc, pl0, pl1) here.