Introduction to domain theory