LAMBDA CALCULUS EXTENDED WITH SEGMENTS - Balsters, Harmannus (Technische Hogeschool, 1986)