me too: A language for software specification and model building (1984)

by P Henderson