솅겐 협정
솅겐 조약은 범죄자에 의한 느슨한 국경검사의 악용을 최소화하기 위해 이것에 관련 정책영역에서 각국 법령을 일치시키는 것을 목표로 하고 있다. 예를 들어 마약에 관련해서 네덜란드와 프랑스의 정책은 서로 달랐기에, 네덜란드에서 마약을 구입해 프랑스로 운반해 가서 암시장등에서 판매하는 것은 두 국가 간에 국경 검사소가 있지 않다면 매우 간단한 일이었다. 이 마약 관련 정책이 달랐기에 프랑스는 조약 실시후에도 일정기간 베네룩스 여러나라에서 프랑스로 입국하는 입국자에 대해 국경 검사소를 유지하자는 주장을 했었다.
로마 조약
이 조약의 원래 명칭은 유럽 경제 공동체 설립을 위한 조약(ECC조약)이었고, 후에 마스트리흐트 조약(1993년 발효)에 의해 유럽 공동체 설립을 위한 조약 (TEC)으로 바뀌었다. 2007년 6월 22일부터 23일까지의 유럽 정상회의에서 유럽 연합에 관한 조약과 유럽 공동체 설립을 위한 조약 둘 모두 새로운 리스본 조약(2009년 발효)에 의해 유럽 헌법의 대부분의 조항이 포함되는 수정을 하기로 합의하였다. 유럽 공동체 설립을 위한 조약은 이 과정에서 다시 한번 명칭이 바뀌었는데, 그 명칭은 유럽 연합의 기능에 관한 조약 (TFEU, the Treaty on the Functioning of the European Union)이었다.