Higher Order Logic and Hardware Verification

Na statek jménem Drozdov přijíždí z Londýna, aby tu užil klidného života v ústraní, panLockwood a záhy se seznamuje s obyvateli nedaleké usedlosti: ponurého, osamělého místazvaného Větrná hůrka. Jeho majitel, temný a prchlivý Heatcliff, tu žije ve společnosti dvoumladých lidí Katky a Haretona. Z vyprávění své služebné Nelly se pan Lockwood postupnědozvídá o dramatické historii obyvatel Větrné hůrky a lásce mezi Katčinou matkou Kateřinoua Heatcliffem. Jejich příběh, odehrávající se v nehostinné krajině yorkshirských vřesovišť,není pouhým romantickým setkáním dvou milujících lidí, ale především vášnivým vztahemdvou nespoutaných, komplikovaných osobností, který poznamená nerovné postavení,ctižádost, ale i touha po pomstě. Tento román je jediným dílem spisovatelky EmilyBrontëové, a když byl v roce 1847 pod pseudonymem Ellis Bell vydán, nevzbudil žádnýmimořádný ohlas, snad kvůli své nezvyklé a složité kompozici nebo možná nejednoznačnostípovah jeho hlavních hrdinů. Postupně si k němu ale čtenáři našli cestu a stal se jednímz vrcholných děl anglické literatury.