Ultrashort light pulses picosecond techniques and applications (Springer, 1977)