Dictoses.

Published in: Category Theory and Computer Science (1989)