COLD-K language
A formal design kernel language for describing (sequential) software systems in intermediate stages of their design.
["An Introduction to COLD-K", H.B.M. Jonkers in Algebraic Methods: Theory, Tools and Applications, M. Wirsing et al eds, LNCS 394, Springer 1989, pp. 139-205].
(1995-01-04)

Cold Brook, NY (village, FIPS 16815) Location: 43.24089 N, 75.03762 W
Population (1990): 310 (126 housing units)
Area: 1.1 sq km (land), 0.0 sq km (water)
Zip code(s): 13324

Cold Spring, MN (city, FIPS 12484) Location: 45.45750 N, 94.43148 W
Population (1990): 2459 (874 housing units)
Area: 3.8 sq km (land), 0.1 sq km (water)
Zip code(s): 56320

Cold Spring, NY (village, FIPS 16936) Location: 41.41881 N, 73.95494 W
Population (1990): 1998 (941 housing units)
Area: 1.6 sq km (land), 0.0 sq km (water)
Zip code(s): 10516

Cold Springs, CA Zip code(s): 95335

Cold Bay, AK (city, FIPS 16530) Location: 55.22503 N, 162.73888 W
Population (1990): 148 (73 housing units)
Area: 150.2 sq km (land), 56.8 sq km (water)

Cold Spring, KY (city, FIPS 16372) Location: 39.02396 N, 84.43738 W
Population (1990): 2880 (1047 housing units)
Area: 5.6 sq km (land), 0.0 sq km (water)

Cold Spring Harb, NY Zip code(s): 11724

Cold Spring Harbor, NY (CDP, FIPS 16958) Location: 40.86305 N, 73.44790 W
Population (1990): 4789 (1747 housing units)
Area: 9.6 sq km (land), 0.5 sq km (water)