sentences:  Habermann's research included programming languages, operating systems, and development of large software systems.He was known for his work on inter-process communication, process synchronization and deadlock avoidance, and software verification, but particularly for the computer languages ALGOL 60, BLISS, Pascal, and Ada.He also contributed to new operating systems such as Edsger Dijkstra's THE multiprogramming system, the Family of Operating Systems (FAMOS) at Carnegie Mellon, Berlin's Dynamically Adaptable System (DAS), and UNIX.