An initiality primer (0)

by J A Goguen, J Meseguer