European convention for the protection of human rights and fundamental freedoms:Article 7 No punishment without law