Fips: A Functional-Imperative Language for Explorative Programming. - Jacek Passia; Klaus-Peter Löhr (ACM SIGPLAN Notices, 1993)