A. L. Furtado

Procedural specifications and implementations for abstract data types

A. L. Furtado, P. A. S. Veloso, 1981, SIGP.

Instructional graphics packages to be used with a line printer

A. L. Furtado, A. A. B. Furtado, F. A. Messeder, 1982, SGCS.

Multi-level specifications based on traces

A. L. Furtado, P. A. S. Veloso, 1983, SOEN.