on-line documentation
Examples

Symbolic Circuit Simulator by Roberto Perez-Franco