Executable specification of some advanced Python topics