The system implementation language LIS (1976)

by J D Ichbiah, J P Rissen, J C Heliard, P Cousot