Python Contracts-programming Resources