Title: A Miranda structure editor with type checking
First published: 1989