Peraturanyang termaktub dalam Undang-undang Darurat No.9 tahun1954 tentang pengubahan nama Propinsi Sunda-Kecil menjadi PropinsiNusa Tenggara (Lembaran-Negara tahun 1954 No. 66), ditetapkansebagai undang-undang. Dalam segenap undang-undang, peraturan-peraturan dan ketentuan-ketentuan di mana tercantum kata "Sunda-kecil", kata itu dibaca "NusaTenggara".
Database Peraturan BPK merupakan bagian dari pelaksanaan JDIH di lingkungan BPK untuk menyebarluaskan informasi peraturan perundang-undangan dan dokumen hukum secara mudah, cepat, dan akurat kepada para pengguna baik kalangan internal BPK maupun masyarakat